Issues in Implementing a Model Checker for Z.

John Derrick Siobhán North Tony Simons

Published in: ICFEM (2006)

Keyphrases

model checker
model checking
formal verification
temporal logic
description language
formal methods
formal specification
set theory
general purpose
symbolic model checking