Verification of Finite-State-Machine Refinements Using a Symbolic Methodology.

Stefan Hendricx Luc J. M. Claesen

Published in: CHARME (1999)

Keyphrases

finite state machines
model checking
state transition
state machine
formal verification
verification method
finite state automata
regular expressions
database systems
conceptual model
symbolic representation
pattern matching
formal methods
relational databases
digital circuits
keywords
database