Formal verification of software source code through semi-automatic modeling.
Cindy EisnerPublished in: Softw. Syst. Model. (2005)
Keyphrases
- semi automatic
- source code
- formal verification
- program slicing
- software systems
- open source
- software projects
- impact analysis
- model checking
- software maintenance
- open source software
- software artifacts
- static analysis
- open source projects
- software engineers
- software repositories
- program understanding
- free software
- software evolution
- linux kernel
- program comprehension
- mining software repositories
- semantic annotation
- source files
- plagiarism detection
- text files
- software engineering
- version control
- maintenance activities
- white box
- software metrics
- legacy systems
- object oriented systems
- software design
- high level
- case study
- design rationale
- description languages
- execution traces
- software architecture
- website