Z2SAL: a translation-based model checker for Z

DOI10.1007/S00165-009-0126-7zbMath1214.68133OpenAlexW2081784736MaRDI QIDQ539218

Anthony J. H. Simons, Siobhán North, John Derrick

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/42920/2/Derrick_42920.pdf

zbMATH Keywords

model-checkingZformal specification languageSAL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Efficient approximate verification of B and Z models via symmetry markers

Uses Software

• SPIN
• CZT
• Z2sal
• Z/EVES
• Z

Cites Work

• Unnamed Item
• Graph-Based Algorithms for Boolean Function Manipulation
• The B-Book
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Z2SAL: a translation-based model checker for Z