The following pages link to SMV (Q16319):
Displaying 13 items.
- Projecting transition systems: overcoming state explosion in concurrent system verification (Q300375) (← links)
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Verification of Supervisory Control Software Using State Proximity and Merging (Q3523120) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics (Q3624590) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- Automatic verification of finite-state concurrent systems using temporal logic specifications (Q3719811) (← links)
- (Q4531760) (← links)
- (Q4551165) (← links)
