Formal Verification of Coalescing Graph-Coloring Register Allocation.
Sandrine BlazyBenoît RobillardAndrew W. AppelPublished in: ESOP (2010)
Keyphrases
- formal verification
- graph coloring
- combinatorial problems
- model checking
- job shop scheduling
- phase transition
- bounded model checking
- constraint satisfaction problems
- automated verification
- model checker
- max sat
- scheduling problem
- symbolic model checking
- temporal logic
- hyper heuristics
- constraint satisfaction
- constraint programming
- orders of magnitude