The affordable application of formal methods to software engineering.

Published in: SIGAda (2005)

Keyphrases

formal methods
software engineering
development lifecycle
formal analysis
model checking
knowledge based systems
artificial intelligence
formal specification
machine learning
software systems
process algebra
protocol specification
real world
model checker
software architecture
programming language
data mining