Z2sal
From MaRDI portal
Software:19145
swMATH7087MaRDI QIDQ19145FDOQ19145
Author name not available (Why is that?)
Cited In (5)
- Z2SAL: a translation-based model checker for Z
- Invariant-driven specifications in Maude
- Efficient approximate verification of B and Z models via symmetry markers
- Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
- Temporal-logic property preservation under Z refinement
This page was built for software: Z2sal
