An Engineering Approach to Formal Methods.

Kenneth J. Turner

Published in: PSTV (1993)

Keyphrases

formal methods
formal analysis
model checking
model checker
artificial intelligence
knowledge based systems
safety critical
provably correct
temporal properties
software engineering
formal specification
process algebra
machine learning
multi agent systems
reverse engineering
temporal logic
expert systems