Bounded model checking for hyperproperties
From MaRDI portal
Publication:2044193
DOI10.1007/978-3-030-72016-2_6zbMath1467.68086arXiv2009.08907OpenAlexW3143080648MaRDI QIDQ2044193
César Sánchez, Borzoo Bonakdarpour, Tzu-Han Hsu
Publication date: 4 August 2021
Full work available at URL: https://arxiv.org/abs/2009.08907
Related Items (6)
A temporal logic for asynchronous hyperproperties ⋮ HyperPCTL model checking by probabilistic decomposition ⋮ Monitorable hyperproperties of nonterminating systems ⋮ Finite-word hyperlanguages ⋮ Bounded model checking for hyperproperties ⋮ Model checking hyperproperties for Markov decision processes
Cites Work
- Unnamed Item
- Unnamed Item
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- A sound polymorphic type system for a dialect of \(C\)
- Monitoring hyperproperties
- Bounded model checking for hyperproperties
- Synthesis from hyperproperties
- Program Repair for Hyperproperties
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
- Bounded model checking using satisfiability solving
- Model checking quantitative hyperproperties
This page was built for publication: Bounded model checking for hyperproperties
