Smart Contracts: A Killer Application for Deductive Source Code Verification.
Wolfgang AhrendtGordon J. PaceGerardo SchneiderPublished in: Principled Software Development (2018)
Keyphrases
- source code
- open source
- software systems
- code reuse
- open source software
- software maintenance
- software projects
- plagiarism detection
- software engineering
- static analysis
- program slicing
- version control
- formal verification
- reusable components
- case study
- linux kernel
- object oriented systems
- software repositories
- high level
- real world
- impact analysis
- software artifacts
- maintenance activities
- open source projects