Computationally Sound Verification of Source Code.
Michael BackesMatteo MaffeiDominique UnruhPublished in: IACR Cryptol. ePrint Arch. (2010)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- software projects
- software maintenance
- model checking
- mining software repositories
- static analysis
- change impact analysis
- program comprehension
- high level
- free software
- text files
- plagiarism detection
- software engineers
- mailing lists
- object oriented systems
- formal verification
- impact analysis
- bug reports
- open source projects
- version control
- software evolution
- software engineering
- case study