Managerial Issues for the Consideration and Use of Formal Methods.

Donna C. Stidolph E. James Whitehead Jr.

Published in: FME (2003)

Keyphrases

formal methods
formal analysis
knowledge based systems
formal specification
process algebra
model checking
model checker
software engineering
safety critical
artificial intelligence
temporal properties
information systems
provably correct
fault tolerant
modeling language
development lifecycle