Action Language Verifier, Extended
No abstract available.
Related papers
- An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems CAV 1991
- Modular semantic actions DLS 2016
- A Hoare Logic for Symmetry Properties OOPSLA 2025
- Atomicity Refinement for Verified Compilation TOPLAS 2014
- SteelCore: an extensible concurrent separation logic for effectful dependently typed programs ICFP 2020
- The Temporal Logic of Actions TOPLAS 1994
- Assume, Guarantee or Repair TACAS 2020
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015