Interactive Verification of Statecharts.

Andreas Thums Gerhard Schellhorn Frank Ortmeier Wolfgang Reif

Published in: SoftSpez Final Report (2004)

Keyphrases

model checker
formal methods
model checking
formal verification
database
computer graphics
face verification
conceptual modeling
signature verification
information systems
knowledge base
relational databases
virtual environment
agent oriented
test generation
functional verification