LTSmin: Distributed and Symbolic Reachability
Abstract elided by the publisher.
Related papers
- Multi-core On-The-Fly Saturation TACAS 2019
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- LTSmin: High-Performance Language-Independent Model Checking TACAS 2015
- Efficient Guided Symbolic Reachability Using Reachability Expressions TACAS 2006
- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections CAV 2014
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing VMCAI 2010
- Symbolic Reachability Analysis Based on SAT-Solvers TACAS 2000
- Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis TACAS 2002