Deductive Binary Code Verification Against Source-Code-Level Specifications.
Alexander KamkinAlexey KhoroshilovArtem KotsynyakPavel PutroPublished in: TAP@STAF (2020)
Keyphrases
- source code
- open source
- software systems
- binary codes
- symbolic execution
- high level
- written in natural language
- execution traces
- software maintenance
- plagiarism detection
- software projects
- formal verification
- program understanding
- source files
- specification language
- static analysis
- software repositories
- manual inspection
- java code
- software evolution
- automated tools
- model checking