Monitoring hyperproperties

DOI10.1007/s10703-019-00334-zzbMath1425.68254DBLPjournals/fmsd/FinkbeinerHST19arXiv1807.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

zbMATH Keywords

monitoringruntime verificationhyperpropertiesinformation-flow

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (10)

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

This page was built for publication: Monitoring hyperproperties