Modular Verification of Software Components in C.

Sagar Chaki Edmund M. Clarke Alex Groce Somesh Jha Helmut Veith

Published in: ICSE (2003)

Keyphrases

software components
software systems
software reuse
software development
building blocks
java programs
software modules
web services
model checking
formal specification
database
reusable components
open source
software projects
software repositories
commercial off the shelf