Translating Diagrams: A New Approach to Introducing Formal Methods.

Anthony J. Cowling

Published in: CSEE&T (2005)

Keyphrases

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