1. Editorial for special issue on symmetry in automatic verification

   • E. Allen Emerson

   EditorialNotes Pages: 5 - 6

2. Condensed state spaces for symmetrical Coloured Petri Nets

   • Kurt Jensen

   OriginalPaper Pages: 7 - 40

3. Better verification through symmetry

   • C. Norris IP
   • David L. Dill

   OriginalPaper Pages: 41 - 75

4. Exploiting symmetry in temporal logic model checking

   • E. M. Clarke
   • R. Enders
   • S. Jha

   OriginalPaper Pages: 77 - 104

5. Symmetry and model checking

   • E. Allen Emerson
   • A. Prasad Sistla

   OriginalPaper Pages: 105 - 131