VIS

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