Deciding Hyperproperties Combined with Functional Specifications-Reference-Cited by-同舟云学术

Deciding Hyperproperties Combined with Functional Specifications

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Beutner Raven¹,Carral David²,Finkbeiner Bernd¹,Hofmann Jana¹,Krötzsch Markus³

Affiliation:

1. CISPA Helmholtz Center for Information Security, Germany

2. Sophia Antipolis - Méditerranée Centre, Inria, France and Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM), University of Montpellier, France

3. TU Dresden, Germany

Funder

Deutsche Forschungsgemeinschaft (DFG)

Bundesministerium für Bildung und Forschung (BMBF)

Center for Advancing Electronics Dresden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533369

Reference42 articles.

1. Erika Ábrahám , Ezio Bartocci , Borzoo Bonakdarpour , and Oyendrila Dobe . 2020 . Probabilistic Hyperproperties with Nondeterminism. In International Symposium on Automated Technology for Verification and Analysis, ATVA 2020(Lecture Notes in Computer Science, Vol. 12302) . Springer. https://doi.org/10.1007/978-3-030-59152-6_29 Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Probabilistic Hyperproperties with Nondeterminism. In International Symposium on Automated Technology for Verification and Analysis, ATVA 2020(Lecture Notes in Computer Science, Vol. 12302). Springer. https://doi.org/10.1007/978-3-030-59152-6_29

2. Defining;Alpern Bowen;Liveness. Inf. Process. Lett.,1985

3. A really temporal logic

4. Ezio Bartocci , Thomas Ferrère , Thomas A. Henzinger , Dejan Nickovic , and Ana Oliveira da Costa . 2022 . Flavors of Sequential Information Flow. In International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022(Lecture Notes in Computer Science, Vol. 13182) . Springer. https://doi.org/10.1007/978-3-030-94583-1_1 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. 2022. Flavors of Sequential Information Flow. In International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022(Lecture Notes in Computer Science, Vol. 13182). Springer. https://doi.org/10.1007/978-3-030-94583-1_1

5. A Temporal Logic for Asynchronous Hyperproperties

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logics and Algorithms for Hyperproperties;ACM SIGLOG News;2023-04

2. AutoHyper: Explicit-State Model Checking for HyperLTL;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Second-Order Hyperproperties;Computer Aided Verification;2023

4. Software Verification of Hyperproperties Beyond k-Safety;Computer Aided Verification;2022