The Kind 2 Model Checker
No abstract available.
Related papers
- Efficient modular glass box software model checking OOPSLA 2010
- Refinement kinds: type-safe programming with practical type-level computation OOPSLA 2019
- TLA+ model checking made symbolic OOPSLA 2019
- Searching for i-Good Lemmas to Accelerate Safety Model Checking CAV 2023
- Scalable Data-Flow Modeling and Validation of Distributed-Memory Algorithms CC 2025
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024
- Certifying Model Checkers CAV 2001
- Merit: An Interpolating Model-Checker CAV 2010