VIS
From MaRDI portal
Cited in
(13)- visualSTATE
- Cadence SMV
- Specification and verification of concurrent programs through refinements
- Symbolic graphs: Linear solutions to connectivity related problems
- Compositional SCC analysis for language emptiness
- CodeSurfer
- From Philosophical to Industrial Logics
- Finding and fixing faults
- Benchmarking a model checker for algorithmic improvements and tuning for performance
- Exploring structural symmetry automatically in symbolic trajectory evaluation
- Linear temporal logic symbolic model checking
- Correct Hardware Design and Verification Methods
- HRELTL: a temporal logic for hybrid systems
This page was built for software: VIS
