Formal methods for test sequence generation.

Published in: Comput. Commun. (1992)

Keyphrases

formal methods
formal analysis
formal specification
artificial intelligence
safety critical
model checker
knowledge based systems
model checking
software engineering
process algebra
reactive systems
databases
provably correct
query language
data model
temporal properties
database