Pages that link to "Item:Q851129"

The following pages link to Verifying data refinements using a model checker (Q851129):

Displaying 5 items.

• On using data abstractions for model checking refinements (Q878378) (← links)
• Model checking action system refinements (Q1019017) (← links)
• Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
• Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
• Alloy as a Refactoring Checker? (Q5403473) (← links)