Pages that link to "Item:Q5931381"
From MaRDI portal
The following pages link to Model-checking CSP-Z: Strategy, tool support and industrial application (Q5931381):
Displayed 5 items.
- Verifying data refinements using a model checker (Q851129) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)