Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
K. C. ShashidharMaurice BruynoogheFrancky CatthoorGerda JanssensPublished in: DATE (2005)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- software maintenance
- software projects
- static analysis
- model checking
- open source projects
- linux kernel
- high level
- formal verification
- software repositories
- plagiarism detection
- software evolution
- specification language
- legacy systems
- program comprehension
- bug reports
- software architecture
- case study
- version control
- free software
- source files
- program slicing
- mining software repositories
- code reuse