The industrialization of formal methods.

John S. Fitzgerald Stefania Gnesi Dino Mandrioli

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases

formal methods
formal analysis
knowledge based systems
formal specification
model checker
model checking
artificial intelligence
human resources
process algebra
safety critical
software engineering
provably correct
modeling language
security properties
temporal properties
temporal logic
knowledge representation