P.Gastin, P.Moro, and M.Zeitoun. Minimization of counterexamples in spin. In Proceeding of 11th International SPIN Workshop(SPIN04),LNCS 2989, pages 92-- 108, Barcelona,, April 2004. Springer-Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Counterexample Minimization for ACTL ShengYu Shen - Ying Qin And (Correct)
No context found.
P.Gastin, P.Moro, and M.Zeitoun. Minimization of counterexamples in spin. In Proceeding of 11th International SPIN Workshop(SPIN04),LNCS 2989, pages 92-- 108, Barcelona,, April 2004. Springer-Verlag.
Minimizing Counterexample - With Unit Core (Correct)
No context found.
P. Gastin, P. Moro, and M. Zeitoun. Minimization of counterexamples in spin.In SPIN Workshop on Model Checking of Software, pages 92-108, 2004.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
P. Gastin, P. Moro, and M. Zeitoun. Minimization of counterexamples in SPIN. In SPIN'04, volume 2989 of LNCS, pages 92--108. Springer, 2004.
On-the-fly Emptiness Checks for Generalized Büchi Automata - Couvreur, Duret-Lutz.. (2005) (Correct)
No context found.
P. Gastin, P. Moro, and M. Zeitoun. Minimization of counterexamples in SPIN. In Proc. of SPIN'04, volume 2989 of LNCS, pages 92--108. Springer-Verlag, 2004.
Making the Most of BMC Counterexamples - Groce, Kroening (2004) (1 citation) (Correct)
No context found.
P. Gastin, P. Moro, and M. Zeitoun. Minimization of counterexamples in spin. In SPIN Workshop on Model Checking of Software, pages 92-108, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC