Peephole Partial Order Reduction.

Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta

Browse the full TACAS paper archive.