Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.

David Menendez Santosh Nagarakatte Aarti Gupta

Published in: SAS (2016)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
graph theory
multi objective evolutionary
knowledge representation
temporal logic
optimization strategies
real time
data sets
databases
decision making
decision trees
multi agent
expert systems