Formal verification of code motion techniques using data-flow-driven equivalence checking.
Chandan KarfaChittaranjan A. MandalDipankar SarkarPublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- data flow
- formal verification
- model checking
- control flow
- database machine
- motion estimation
- program slicing
- image sequences
- bounded model checking
- data transfer
- digital signal processing
- symbolic model checking
- automated verification
- space time
- optical flow
- model checker
- object oriented software
- moving objects
- systolic array
- databases
- camera motion
- signal processing