Integrated formal methods.

Andy Galloway Bill Stoddart

Published in: INFORSID (1997)

Keyphrases

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