Scaling probabilistic timing verification of hardware using abstractions in design source code.
Jayanand Asok KumarLingyi LiuShobha VasudevanPublished in: FMCAD (2011)
Keyphrases
- source code
- object oriented systems
- open source
- software systems
- software maintenance
- open source software
- high level
- reverse engineer
- legacy software
- execution traces
- symbolic execution
- software repositories
- linux kernel
- impact analysis
- plagiarism detection
- software evolution
- software projects
- formal verification
- program comprehension
- website
- program understanding
- automated tools
- visual basic
- raw data
- case study