Checking Strong Specifications Using an Extensible Software Model Checking Framework
Abstract elided by the publisher.
Related papers
- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework CAV 2005
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems CAV 2019
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking VMCAI 2004
- Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) TACAS 2024
- Sigma*: symbolic learning of input-output specifications POPL 2013
- McTT: A Verified Kernel for a Proof Assistant ICFP 2025