Program Repair for Hyperproperties
From MaRDI portal
Publication:3297603
DOI10.1007/978-3-030-31784-3_25zbMath1437.68112arXiv2101.08257OpenAlexW3122771816MaRDI QIDQ3297603
Borzoo Bonakdarpour, Bernd Finkbeiner
Publication date: 20 July 2020
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.08257
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Runtime enforcement of hyperproperties ⋮ Finite-word hyperlanguages ⋮ Bounded model checking for hyperproperties ⋮ Model checking hyperproperties for Markov decision processes
Cites Work
- Unnamed Item
- Unnamed Item
- The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems
- Counting quantifiers, successor relations, and logarithmic space
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Monitoring hyperproperties
- Synthesis from hyperproperties
- Weak Kripke Structures and LTL
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- Control problems in a temporal logic framework
- Automated Technology for Verification and Analysis
- Computer Aided Verification
- Model checking quantitative hyperproperties
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Verifying hyperliveness
This page was built for publication: Program Repair for Hyperproperties
