Balancing Insight and Effort: The Industrial Uptake of Formal Methods.

John S. Fitzgerald Peter Gorm Larsen

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

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