Formal verification of control-flow graph flattening.
Sandrine BlazyAlix TrieuPublished in: CPP (2016)
Keyphrases
- formal verification
- flow graph
- model checking
- flow graphs
- random walk
- control system
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- shortest path
- control strategy
- program slicing
- machine learning
- information flow
- distributed databases
- rough set theory
- heuristic search
- decision rules
- expert systems