A satellite event of PETRI NETS'2010 and ACSD'2010

The SUMo Workshop has merged with APNOC to make a stronger event. It is still located on Tuesday June 22nd.

Scope and Aims

Check for updated deadlines!!!

This workshop is organized as a satellite event of the International Conference on Petri Nets and other models of concurrency (PETRI NETS 2010).

The emergence of new efficient techniques for model checking makes possible the application of verification techniques to industrial-size specifications.

The purpose of this workshop is to create a forum in order to discuss new techniques and algorithms for model checking with a focus on their actual implementation in dedicated tools that cope with combinatorial explosion. This forum will gather people interested in the design of model-checking tools and will allow them to present new approaches and share common experiences. Key points of interest are usability for industrial systems, expressivity, performance or scalability of these new model-checking techniques. The elaboration of reference benchmarks derived from industrial applications is also of interest for this workshop.

Invited speaker

The invited speaker for SUMo will be: Daniel Kroening (Univ. Oxford, UK).


Topics include (but are not limited to) the following:

  1. PuceDecision diagram based techniques,

  2. PuceSymmetry-based techniques,

  3. PuceTechniques for infinite systems,

  4. PuceTechniques for timed and stochastic systems,

  5. PuceSAT-based techniques,

  6. PuceAbstraction-based techniques,

  7. PuceProperty-driven optimization,

  8. PuceModel checking of Domain Specific Languages,

  9. PuceArchitectures for efficient model checking tools,

  10. PuceParallel algorithms for model checking,

  11. Puceetc.

Extended versions of the best accepted papers will be invited for publication in the "Transactions on Petri Nets and Other Models of Concurrency" (TOPNoC) journal subline of Lecture Notes in Computer Science.

June  22, 2010