The Meaning of "Formal": From Weak to Strong Formal Methods.

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

Keyphrases

formal methods
formal specification
formal analysis
knowledge based systems
model checking
model checker
provably correct
process algebra
safety critical
software engineering
natural language
temporal properties
artificial intelligence
real world
security properties
high level
reverse engineering
temporal logic