Monitoring hyperproperties with circuits

DOI10.1007/978-3-031-08679-3_1zbMath1499.68199arXiv2202.11570OpenAlexW4293196736MaRDI QIDQ2165208

Elli Anastasiadi, Luca Aceto, Antonis Achilleos, Adrian Francalanza

Publication date: 19 August 2022

Full work available at URL: https://arxiv.org/abs/2202.11570

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Dynamic epistemic logic
• Recognizing safety and liveness
• Monitoring hyperproperties
• Monitorability for the Hennessy-Milner logic with recursion
• Real time computation
• A Theory of Design-by-Contract for Distributed Multiparty Interactions

This page was built for publication: Monitoring hyperproperties with circuits