Software Verification of Hyperproperties Beyond k-Safety
From MaRDI portal
Publication:6487322
DOI10.1007/978-3-031-13185-1_17zbMath1514.68122MaRDI QIDQ6487322
Bernd Finkbeiner, Raven Beutner
Publication date: 7 December 2022
Related Items (2)
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ Software Verification of Hyperproperties Beyond k-Safety
Cites Work
- Unnamed Item
- Unnamed Item
- The existence of refinement mappings
- A temporal logic for asynchronous hyperproperties
- Constraint-based relational verification
- Causality-based game solving
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- The power of symbolic automata and transducers
- Modular product programs
- Secure information flow by self-composition
- Predicate Abstraction for Program Verification
- Simple relational correctness proofs for static analyses and program transformations
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
- Solving Games Via Three-Valued Abstraction Refinement
- Reduction
- Permissive strategies: from parity games to safety games
- Lazy abstraction
- Continuity analysis of programs
- A constraint-based approach to solving games on infinite graphs
- Computer Aided Verification
- Model-Checking HyperLTL for Pushdown Systems
- Verifying hyperliveness
- Property directed self composition
- Automated hypersafety verification
- Software Verification of Hyperproperties Beyond k-Safety
This page was built for publication: Software Verification of Hyperproperties Beyond k-Safety
