Source Code Verification for Embedded Systems using Prolog.
Frank FledererLudwig OstermayerDietmar SeipelSergio MontenegroPublished in: WLP / WFLP (2017)
Keyphrases
- embedded systems
- source code
- software systems
- symbolic execution
- open source
- software projects
- software maintenance
- real time systems
- model checking
- low cost
- programming language
- static analysis
- open source software
- version control
- legacy systems
- software evolution
- software architecture
- plagiarism detection
- program understanding
- bug localization
- programs written
- field programmable gate array
- software developers
- multi agent
- high level
- software repositories
- formal verification
- visual basic
- impact analysis
- software components
- free software
- case study
- data structure
- text files