fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
MCC�2013, Reported Techniques
Last Updated
Apr. 26, 2013

Introduction

This page summarizes the techniques reported by the tool which participated to the MCC'2013.

Proposed Values to report techniques

A (non exhaustive) list of techniques was proposed in the call for tool submission to report the techniques used by tools:

*: in fact, only one core was allocated to each Virtual Machine so no parallelism could be enabled in practice (but no tool reported this feature).

Report from Tools

Report from tools is summarized below.

Techniques reported by tools
Tool Name Reported Techniques
Apina Decision Diagrams
Cunf Net Unfolding,
SAT/SMT
greatSPN Decision Diagrams
ITS-Tools Decision Diagrams
Structural Reductions
LoLA
(all variants)
Explicit model checking
State compression
Stubborn sets
Marcie Decision Diagrams
Neco Explicit model checking
PNXDD Decision Diagrams
Topological
Sara SAT/SMT
Stubborn Sets
Topological