![Model checking / Partial order reduction / Transition Model checking / Partial order reduction / Transition](https://www.pdfsearch.io/img/b7d2374cb3d8ba91b098a8713151025d.jpg) Date: 2013-10-08 21:01:57Model checking Partial order reduction Transition | | Bounded Partial-Order Reduction Katherine E. Coons∗ Madanlal Musuvathi† The University of Texas at Austin∗Add to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 638,06 KBShare Document on Facebook
|