SMV
From MaRDI portal
Software:16319
swMATH4135MaRDI QIDQ16319FDOQ16319
Author name not available (Why is that?)
Cited In (13)
- 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?)
- 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
