Formal Verification of a Partial-Order Reduction Technique for Model Checking.

Ching-Tsun Chou, Doron A. Peled

Browse the full TACAS paper archive.