Cited in
(10)- Invariant-driven specifications in Maude
- Efficient approximate verification of B and Z models via symmetry markers
- Temporal-logic property preservation under Z refinement
- TopSpin
- B4Free
- Spin-to-Grape
- SymmSpin
- Jaza
- Z2SAL: a translation-based model checker for Z
- Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
This page was built for software: Z2sal
