Model-Checking In-Lined Reference Monitors
Abstract elided by the publisher.
Related papers
- Model Checking for Programming Languages using Verisoft POPL 1997
- Monitoring refinement via symbolic reasoning PLDI 2015
- Safe composition of product lines GPCE 2007
- Guava: a dialect of Java without data races OOPSLA 2000
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability CAV 2018
- Securing Verified IO Programs Against Unverified Code in F POPL 2024
- On the Monitorability of Session Types, in Theory and Practice ECOOP 2021
- Model-based security analysis of feature-oriented software product lines GPCE 2018