Verified Software Toolchain.

Andrew W. Appel

Published in: NASA Formal Methods (2012)

Keyphrases

software development
software design
software systems
software developers
software tools
artificial intelligence
software package
software maintenance
software architecture
clustering algorithm
data sets
open source
data model
user interface
data flow
requirements engineering
software packages
software application