Combining Formal Methods: An Exercise in Integration.

Jean-Charles Grégoire Michael J. Ferguson Lou Pino

Published in: FORTE (1995)

Keyphrases

formal methods
formal analysis
safety critical
artificial intelligence
process algebra
model checking
formal specification
model checker
temporal properties
software engineering
knowledge based systems
formal specification language
data integration