Counterexample Guided Synthesis of Monitors for Realizability Enforcement
From MaRDI portal
Publication:4649300
DOI10.1007/978-3-642-33386-6_20zbMath1374.68289OpenAlexW2096699267MaRDI QIDQ4649300
Gwen Salaün, Matthias Güdemann, Meriem Ouederni
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_20
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Automated verification of automata communicating via FIFO and bag buffers, Automatic analysis of complex interactions in microservice systems, Runtime enforcement with reordering, healing, and suppression, Realizable temporal logics for web service choreography
Uses Software