Verification of physical designs using an integrated reverse engineering flow for nanoscale technologies.
Bernhard LippmannNiklas UnverrichtAayush SinglaMatthias LudwigMichael WernerPeter EggerAnja DübotzkyHelmut GräbHorst A. GieserMartin RascheOliver KellermannPublished in: Integr. (2020)
Keyphrases
- reverse engineering
- software engineering
- dynamic analysis
- object oriented
- legacy systems
- software maintenance
- program understanding
- reverse engineer
- software evolution
- software product
- computer aided design
- conceptual schema
- design principles
- platform independent
- gene regulatory networks
- formal specification
- business rules
- model checking
- genetic regulatory networks
- software engineers
- database
- formal verification
- web technologies
- data sets