swMATH4135MaRDI QIDQ16319FDOQ16319
Author name not available (Why is that?)
Official website: http://www.cs.cmu.edu/~modelcheck/smv.html
Cited In (19)
- Trajectory Based Verification Using Local Finite-Time Invariance
- Finite abstractions for hybrid systems with stable continuous dynamics
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Verification of Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- p2b
- MATISSE
- AutoMOTGen
- BACH
- InVeSt
- CTESK
- Approximate bisimulation: a bridge between computer science and control theory
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Wu's characteristic set method for SystemVerilog assertions verification
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Verification of Supervisory Control Software Using State Proximity and Merging
This page was built for software: SMV
