Monitoring hyperproperties
From MaRDI portal
Publication:2008281
DOI10.1007/s10703-019-00334-zzbMath1425.68254arXiv1807.00758OpenAlexW4286447266WikidataQ91736867 ScholiaQ91736867MaRDI QIDQ2008281
Marvin Stenger, Bernd Finkbeiner, Leander Tentrup, Christopher Hahn
Publication date: 25 November 2019
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.00758
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Runtime enforcement of hyperproperties, Monitoring hyperproperties with circuits, Monitorable hyperproperties of nonterminating systems, Unnamed Item, Program Repair for Hyperproperties, Monitoring hyperproperties, Finite-word hyperlanguages, Bounded model checking for hyperproperties, Synthesis from hyperproperties, Model checking hyperproperties for Markov decision processes
Cites Work
- Unnamed Item
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Checking finite traces using alternating automata
- Monitoring hyperproperties
- Optimized temporal monitors for SystemcC
- Model Checking Information Flow in Reactive Systems
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
- Parametric Trace Slicing and Monitoring
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
- Computer Aided Verification
