swMATH40003MaRDI QIDQ55703FDOQ55703
Author name not available (Why is that?)
Official website: https://ptolemy.berkeley.edu/projects/embedded/research/vis/whatis.html
Cited In (13)
- Finding and fixing faults
- Specification and verification of concurrent programs through refinements
- Correct Hardware Design and Verification Methods
- Compositional SCC analysis for language emptiness
- Benchmarking a model checker for algorithmic improvements and tuning for performance
- Exploring structural symmetry automatically in symbolic trajectory evaluation
- visualSTATE
- Linear temporal logic symbolic model checking
- Cadence SMV
- CodeSurfer
- HRELTL: a temporal logic for hybrid systems
- From Philosophical to Industrial Logics
- Symbolic graphs: Linear solutions to connectivity related problems
This page was built for software: VIS
