The following pages link to (Q4436972):
Displaying 6 items.
- Property transformation under specification change (Q352027) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)