Z2sal

MaRDI QIDQ19145swMATHFDO

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

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