CheAPS: Parameterized Model Checking Tool

Konnov, Igor V.

by Igor V. Konnov

Reference:

CheAPS: Parameterized Model Checking ToolIgor V. Konnov2009, Joint Workshop of Microsoft Research and Institute for System Programming Russian Academy of Sciences, Moscow, June 2009.

Bibtex Entry:

@misc{Konnov2009:MSR,
  author    = {Igor V. Konnov},
  title     = {CheAPS: Parameterized Model Checking Tool},
  howpublished = {Joint Workshop of Microsoft Research and Institute for System
      Programming Russian Academy of Sciences, Moscow, June 2009},
  year = {2009},
}