State Identification and Verification using a Model Checker.

Christopher Robinson-Mallett Peter Liggesmeyer

Published in: Software Engineering (2006)

Keyphrases

model checker
model checking
formal verification
formal methods
transition systems
temporal logic
description language
symbolic model checking
test suite
formal specification
set theory
ai planning
machine learning
image processing