1. Regular model checking

   • Parosh Aziz Abdulla

   Introduction 07 December 2011 Pages: 109 - 118

2. Extrapolating (omega-)regular model checking

   • Axel Legay

   RMC Regular Model Checking 09 August 2011 Pages: 119 - 143

3. Widening techniques for regular tree model checking

   • Ahmed Bouajjani
   • Tayssir Touili

   RMC Regular Model Checking 03 August 2011 Pages: 145 - 165

4. Abstract regular (tree) model checking

   • Ahmed Bouajjani
   • Peter Habermehl
   • Tomáš Vojnar

   RMC Regular Model Checking 20 July 2011 Pages: 167 - 191

5. Domain-specific regular acceleration

   • Bernard Boigelot

   RMC Regular Model Checking 20 July 2011 Pages: 193 - 206

6. A lightweight regular model checking approach for parameterized systems

   • Giorgio Delzanno
   • Ahmed Rezine

   RMC Regular Model Checking 27 August 2011 Pages: 207 - 222

7. Regular model checking for LTL(MSO)

   • Parosh Aziz Abdulla
   • Bengt Jonsson
   • Mayank Saksena

   RMC Regular Model Checking 25 August 2011 Pages: 223 - 241