CISPA
Browse

Logics and Algorithms for Hyperproperties

Download (383.57 kB)
Version 2 2024-01-11, 13:45
Version 1 2023-11-29, 18:07
journal contribution
posted on 2024-01-11, 13:45 authored by Bernd FinkbeinerBernd Finkbeiner
System requirements related to concepts like information flow, knowledge, and robustness cannot be judged in terms of individual system executions, but rather require an analysis of the relationship between multiple executions. Such requirements belong to the class of hyperproperties, which generalize classic trace properties to properties of sets of traces. During the past decade, a range of new specification logics has been introduced with the goal of providing a unified theory for reasoning about hyperproperties. This paper gives an overview on the current landscape of logics for the specification of hyperproperties and on algorithms for satisfiability checking, model checking, monitoring, and synthesis.

History

Preferred Citation

Bernd Finkbeiner. Logics and Algorithms for Hyperproperties. In: ACM SIGLOG News. 2023.

Primary Research Area

  • Secure Connected and Mobile Systems

Legacy Posted Date

2023-07-25

Journal

ACM SIGLOG News

Pages

4 - 23

Open Access Type

  • Green

BibTeX

@article{cispa_all_3995, title = "Logics and Algorithms for Hyperproperties", author = "Finkbeiner, Bernd", journal="{ACM SIGLOG News}", year="2023", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC