Z2sal
From MaRDI portal
Software:19145
No author found.
Related Items (5)
Invariant-driven specifications in Maude ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Temporal-logic property preservation under Z refinement ⋮ Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings ⋮ Z2SAL: a translation-based model checker for Z
This page was built for software: Z2sal
