LTSmin: High-Performance Language-Independent Model Checking
No abstract available.
Related papers
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- LTSmin: Distributed and Symbolic Reachability CAV 2010
- Multi-core On-The-Fly Saturation TACAS 2019
- A Platform for High Performance Statistical Model Checking - PLASMA TACAS 2012
- Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists CAV 1999
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- The embedded machine: Predictable, portable real-time code TOPLAS 2007