Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
No abstract available.
Related papers
- Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial PPoPP 2019
- Checking Strong Specifications Using an Extensible Software Model Checking Framework TACAS 2004
- Local-first software: you own your data, in spite of the cloud Onward! 2019
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes CAV 2017
- Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine! PLDI 2026
- Bring Your Own Data Structures to Datalog OOPSLA 2023
- Roll your own test bed for embedded real-time protocols: a haskell experience Haskell 2009
- Lazy abstraction POPL 2002