Z2sal

swMATH7087MaRDI QIDQ19145FDOQ19145

Author name not available (Why is that?)

Official website: https://staffwww.dcs.shef.ac.uk/people/A.Simons/z2sal/

Cited In (10)

• Z2SAL: a translation-based model checker for Z
• Invariant-driven specifications in Maude
• TopSpin
• B4Free
• Spin-to-Grape
• SymmSpin
• 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
• Jaza
• Temporal-logic property preservation under Z refinement

This page was built for software: Z2sal