Investigating the Influence of Formal Methods.

Shari Lawrence Pfleeger Les Hatton

Published in: Computer (1997)

Keyphrases

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