Model-Checking In-Lined Reference Monitors
From MaRDI portal
Publication:3656893
DOI10.1007/978-3-642-11319-2_23zbMath1273.68241OpenAlexW1496742419MaRDI QIDQ3656893
Meera Sridhar, Kevin W. Hamlen
Publication date: 14 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_23
Related Items
Calculational design of a regular model checker by abstract interpretation ⋮ Monitoring networks through multiparty session types
Uses Software