A Framework for Formal Verification of Compiler Optimizations.

William Mansky Elsa L. Gunter

Published in: ITP (2010)

Keyphrases

formal verification
main contribution
model checking
high level
domain specific
theoretical framework
conceptual framework
artificial intelligence
case study
rough sets
formal methods
symbolic model checking
automated verification