ZB 2005: Formal Specification and Development in Z and B

DOI10.1007/b135596zbMath1118.68553OpenAlexW2916183516MaRDI QIDQ5703821

Graeme Smith, Luke Wildman

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b135596

zbMATH Keywords

model checkingZtool supportSAL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Verifying data refinements using a model checker ⋮ Property transformation under specification change ⋮ On using data abstractions for model checking refinements ⋮ Temporal-logic property preservation under Z refinement ⋮ Model checking RAISE applicative specifications ⋮ Alloy as a Refactoring Checker? ⋮ Z2SAL: a translation-based model checker for Z ⋮ Compensation by design

Uses Software

• Z/EVES

This page was built for publication: ZB 2005: Formal Specification and Development in Z and B