Z2SAL - Building a Model Checker for Z.

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

Published in: ABZ (2008)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
formal specification
description language
test suite
symbolic model checking
image processing
decision rules
ai planning
set theory
genetic algorithm
computational intelligence
domain specific