Monitoring Hyperproperties with Circuits

von Aceto, Luca
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Better Late Than Never or: Verifying Asynchronous Components at Runtime

von Attard, Duncan Paul
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)