SMV
From MaRDI portal
Cited in
(19)- p2b
- MATISSE
- AutoMOTGen
- BACH
- InVeSt
- CTESK
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Verification of Hybrid Systems
- Verification of Supervisory Control Software Using State Proximity and Merging
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Trajectory Based Verification Using Local Finite-Time Invariance
- 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
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Finite abstractions for hybrid systems with stable continuous dynamics
- 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
This page was built for software: SMV
