Keyphrases
- control flow
- cellular automata
- specification language
- reverse engineering
- formal languages
- high level
- formal specification
- static analysis
- finite automata
- data structure
- probabilistic automata
- malicious code
- asynchronous circuits
- finite state
- detect malicious
- lattice gas
- neural network
- finite state machines
- regular expressions
- object oriented
- genetic algorithm