K. Ajami, S. Haddad, and J.M. Ilie. Exploiting symmetry in linear time temporal logic model check ing: One step beyond. In B.Ste en, ed. Proc. TACAS `98, vol. 1384 LNCS, pp. 52-67, 1998. Springer-Verlag. 12 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002) (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
Symmetric Model Checking for Object-Based Programs - Iosif (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
Exploiting Symmetry in Protocol Testing - Romijn, Springintveld (1999) (5 citations) (Correct)
Exploiting Symmetry in Protocol Testing - Romijn, Springintveld (5 citations) (Correct)
Exploiting Symmetry in Protocol Testing - Romijn, Springintveld (5 citations) (Correct)
Property-Sensitive State Space Reduction - Sprenger, Worytkiewicz (Correct)
Exploiting Symmetry in Protocol Testing - Romijn, Springintveld (5 citations) (Correct)
Virtual Symmetry Reduction - Emerson, Havlicek, Trefler (2000) (1 citation) (Correct)
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