Deriving Verification Conditions and Program Assertions to Support Software Inspection.
Daniel PowellPublished in: APSEC (2002)
Keyphrases
- hardware designs
- program understanding
- static analysis
- knowledge base
- sufficient conditions
- computer programs
- face verification
- computer systems
- software systems
- design tools
- decision support
- programming environment
- hardware design
- core components
- java programs
- advanced features
- knowledge management
- knowledge exchange
- program slicing
- database systems