Modular Verification of Software Components in C.

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

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

Keyphrases

software components
software systems
software development
building blocks
software reuse
model checking
web services
software modules
formal specification
development environments
java programs
reusable components
commercial off the shelf
metadata
data sets
software architecture
machine learning
databases