Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering.
Cunxi YuMaciej J. CiesielskiPublished in: CoRR (2018)
Keyphrases
- formal analysis
- reverse engineering
- software engineering
- galois field
- formal methods
- formal specification
- software maintenance
- object oriented
- dynamic analysis
- cellular automata
- gene regulatory networks
- program understanding
- reverse engineer
- agent model
- conceptual schema
- legacy systems
- database
- model checking
- upper bound
- knowledge base
- artificial intelligence