Formal Methods: for All or for Chosen?

Victor V. Kuliamin Vitaliy A. Omelchenko Olga L. Petrenko

Published in: CSEDU (2) (2009)

Keyphrases

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