The One Page Model Checker

Published in: CoRR (2005)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
set theory
ai planning
specification language
training set
genetic algorithm
image analysis
fuzzy sets