Model Checking Conformance with Scenario-Based Specifications
Abstract elided by the publisher.
Related papers
- Conformance Checking for Models of Asynchronous Message Passing Software CAV 2002
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Higher-Order Behavioural Conformances via Fibrations POPL 2026
- Gradual Consistency Checking CAV 2019
- SharC: checking data sharing strategies for multithreaded C PLDI 2008
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- VYRD: verifYing concurrent programs by runtime refinement-violation detection PLDI 2005