Monitoring hyperproperties with circuits
From MaRDI portal
Publication:2165208
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
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
This page was built for publication: Monitoring hyperproperties with circuits