Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection.
Shahrzad KeshavarzCunxi YuSamaneh GhandaliXiaolin XuDaniel E. HolcombPublished in: J. Hardw. Syst. Secur. (2018)
Keyphrases
- reverse engineering
- formal methods
- formal specification
- software engineering
- intellectual property protection
- software maintenance
- object oriented
- digital rights
- reverse engineer
- model checking
- artificial intelligence
- knowledge based systems
- program understanding
- software evolution
- mobile services
- development lifecycle
- business rules
- software developers
- software piracy
- intellectual property rights
- software development
- expert systems
- machine learning