Formal Methods Application: An Empirical Tale of Software Development.

Ann E. Kelley Sobel Michael R. Clarkson

Published in: IEEE Trans. Software Eng. (2002)

Keyphrases

formal methods
development lifecycle
software development
software engineering
provably correct
information systems
knowledge based systems
machine learning
formal specification
model checker
artificial intelligence
high level
decision support
formal analysis
reactive systems
temporal properties