Pages that link to "Item:Q2863830"
From MaRDI portal
The following pages link to Using the Alloy analyzer to verify data refinement in Z (Q2863830):
Displaying 9 items.
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Towards a small model theorem for data independent systems in Alloy (Q2848413) (← links)
- (Q4472176) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- Integrated Formal Methods (Q5901611) (← links)