Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗

First Page		Document Content
Date: 2013-10-08 21:01:57 Model checking Partial order reduction Transition		Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗ Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 638,06 KB Share Document on Facebook