SMV
From MaRDI portal
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
- p2b
- MATISSE
- AutoMOTGen
- BACH
- InVeSt
- CTESK
- Verification of Hybrid Systems
- scientific article; zbMATH DE number 1744965 (Why is no real title available?)
- scientific article; zbMATH DE number 1796145 (Why is no real title available?)
- 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
