## Compositional may-must program analysis: Unleashing the power of alternation

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

POPL '10

Madrid, Spain

Association for Computing Machinery

New York, NY, USA

Pages 43-56

2010

Note(s): model checking, under-approximation, over-approximation

POPL '10

Madrid, Spain

Association for Computing Machinery

New York, NY, USA

Pages 43-56

2010

Note(s): model checking, under-approximation, over-approximation