Lecture 16 – Dataflow Analysis Eran Yahav 1 yahave/tocs2011/compilers-lec16.pptx Reference: Dragon 9, 12.
2-Valued and 3-Valued Abstraction-Refinement Frameworks for Model Checking
Robert G. Ethier Market Monitoring