Cheap CTL Compassion in NuSMV
No abstract available.
Related papers
- A NuSMV Extension for Graded-CTL Model Checking CAV 2010
- NUSMV: A New Symbolic Model Verifier CAV 1999
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking CAV 2002
- All You Need Is Compassion VMCAI 2008
- COMPASS 3.0 TACAS 2019
- Compass: strong and compositional library specifications in relaxed memory separation logic PLDI 2022
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata CAV 2001
- Cheap eagerness: speculative evaluation in a lazy functional language ICFP 2000