Volume 14, Issue 2, April 2012

Regular Model Checking

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (7 articles)

  1. No Access

    Introduction

    Regular model checking

    Parosh Aziz Abdulla Pages 109-118
  2. No Access

    RMC Regular Model Checking

    Extrapolating (omega-)regular model checking

    Axel Legay Pages 119-143
  3. No Access

    RMC Regular Model Checking

    Abstract regular (tree) model checking

    Ahmed Bouajjani, Peter Habermehl Pages 167-191
  4. No Access

    RMC Regular Model Checking

    Domain-specific regular acceleration

    Bernard Boigelot Pages 193-206
  5. No Access

    RMC Regular Model Checking

    Regular model checking for LTL(MSO)

    Parosh Aziz Abdulla, Bengt Jonsson Pages 223-241