SUMo'2011 International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency

Introduction

Organizing this model checking contest is a hard work. this could not have been done without the participation of the following people:

  1. PuceDidier Buchs - Univ. Geneva, Switzerland

  2. PuceClément Démoulins - Univ. P. & M. Curie, France

  3. PuceNicolas Gibelin - CNRS, France

  4. PuceLom Hillah - Univ Paris Ouest Nanterre, France

  5. PuceSteve Hostettler - Univ. Geneva, Switzerland

  6. PuceFabrice Kordon - Univ. P. & M. Curie, France

  7. PuceAlban Linard - Univ. Geneva, Switzerland

  8. PuceAlexis Maréchal - Univ. Geneva, Switzerland

  9. PuceEmmanuel Paviot-Adet - Univ Paris 5, France

  10. PuceDenis Poitrenaud - Univ Paris 5, France

  11. PuceYann Thierry-Mieg - Univ. P. & M. Curie, France

A satellite event of PETRI NETS'2011 and ACSD'2011
June 21, 2011

Model Checking Contest, involved people

People
PetersonPeterson_model.html
PhilosopherPhilosophers_model.html
SharedMemorySharedMemory_model.html
FMSFMS_model.html
KanbanKanban_model.html
MAPKMAPK_model.html
FAQFAQ.html
BNF FormulaeBNF_for_formulae.html

Models

RulesRules.html
TokenRingTokenRing_model.html
Submission Kithttp://sumo.lip6.fr/SUMo-2011-MCC-BASE.tgz