The following pages link to (Q4472176):
Displaying 6 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)
- Validation of formal models by refinement animation (Q1951638) (← links)
- Using the Alloy analyzer to verify data refinement in Z (Q2863830) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)