Verification and validation of high integrity software generated by automatic code generators.
V. N. MalepatiH. LiKrishna R. PattipatiSomnath DebAnn Patterson-HinePublished in: SMC (1998)
Keyphrases
- source code
- high assurance
- software systems
- linux kernel
- software development
- wide range
- static analysis
- software design
- fully functional
- fully automatic
- program understanding
- software developers
- clone detection
- formal methods
- industry standard
- software projects
- software architecture
- hardware designs
- open source
- integrity verification
- java programs
- hardware design
- software evolution
- software testing
- data flow
- legacy systems
- face verification
- program code
- software components
- model checking
- operating system
- computer systems