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

Ching-Tsun Chou, Doron Peled. Formal Verification of a Partial-Order Reduction Technique for Model Checking. Journal of Automated Reasoning, 23(3-4):265-298, 1999.

Abstract

Abstract is missing.