Testing equivalence vs. runtime monitoring

DOI10.1007/978-3-030-21485-2_4OpenAlexW2956101827WikidataQ131419153 ScholiaQ131419153MaRDI QIDQ6199101

Luca Aceto, Karoliina Lehtinen, Antonis Achilleos, Anna Ingólfsdóttir, Adrian Francalanza

Publication date: 23 February 2024

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21485-2_4

zbMATH Keywords

testing equivalenceruntime monitoringtrace equivalenceHennessy-Milner logic with recursionfailure equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On first-order runtime enforcement of branching-time properties

This page was built for publication: Testing equivalence vs. runtime monitoring