Monitorable hyperproperties of nonterminating systems

DOI10.1016/j.jlamp.2022.100796OpenAlexW4288056804WikidataQ114159193 ScholiaQ114159193MaRDI QIDQ2168793

Morteza Damanafshan, Mehran S. Fallah

Publication date: 26 August 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100796

zbMATH Keywords

runtime verificationmonitorabilityhyperpropertynonterminating systems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Monitoring hyperproperties
• Bounded model checking for hyperproperties
• Gray-box monitoring of hyperproperties with an application to privacy
• A brief account of runtime verification
• How to share a secret
• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
• Proving the Correctness of Multiprocess Programs

This page was built for publication: Monitorable hyperproperties of nonterminating systems