Toward Formal-Methods Oecumenism?

Fabrice Kordon Laure Petrucci

Published in: IEEE Distributed Syst. Online (2006)

Keyphrases

formal methods
artificial intelligence
formal analysis
model checker
knowledge based systems
formal specification
model checking
software engineering
safety critical
temporal properties
provably correct
process algebra
development lifecycle
information systems
knowledge management
machine learning
multi agent