Formal Verification of Transformations for Peephole Optimization.
Axel DoldFriedrich W. von HenkeHolger PfeiferHarald RueßPublished in: FME (1997)
Keyphrases
- formal verification
- model checking
- bounded model checking
- symbolic model checking
- optimization algorithm
- model checker
- automated verification
- optimization process
- program slicing
- genetic algorithm
- functional verification
- global optimization
- optimization method
- optimization problems
- neural network
- optimization methods
- domain specific
- knowledge representation