Specifying and verifying software.

K. Rustan M. Leino

Published in: ASE (2007)

Keyphrases

software development
software systems
software maintenance
software tools
data sets
source code
computer systems
model checking
computer software
data flow
software application
software design
software projects
formal methods
software package
software packages
software architecture
user interface