Rule-Based Runtime Verification
No abstract available.
Related papers
- Aiming low is harder: induction for lower bounds in probabilistic program verification POPL 2020
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- Runtime support for rule-based access-control evaluation through model-transformation SLE 2016
- Sound Modular Verification of C Code Executing in an Unverified Context POPL 2015
- A language and framework for invariant-driven transformations GPCE 2009
- A Calculus for Amortized Expected Runtimes POPL 2023
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures VMCAI 2007
- An LTL Proof System for Runtime Verification TACAS 2015