Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi Abstract. The transl - Deterministic compilation - Document - PDFSEARCH.IO

First Page	Meta Content
	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl Add to Reading List Document Date: 2012-11-26 20:31:33 Open Document File Size: 196,29 KB Share Result on Facebook

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The translAdd to Reading List