The following pages link to (Q2754105):
Displaying 11 items.
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Some methods of automatic analysis and controllable transformation of programs (Q1003024) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Real-time verification techniques for untimed systems (Q2703729) (← links)
- Predicate abstraction for dense real-time systems (Q2842588) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- Meanings of Model Checking (Q5187832) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900559) (← links)
