fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
MCC%922013,%20Trophies
Last Updated
Apr. 26, 2013

Introduction

This page summarizes the trophies collected for each examination.

Trophies for the CTLCardinalityComparison Examination

Trophies for the CTLFireability Examination

Trophies for the CTLMarkingComparison Examination

Trophies for the CTLMix Examination

Trophies for the CTLPlaceComparison Examination

Trophies for the LTLCardinalityComparison Examination

Trophies for the LTLFireability Examination

Trophies for the LTLMarkingComparison Examination

Trophies for the LTLMix Examination

Trophies for the LTLPlaceComparison Examination

Trophies for the ReachabilityCardinalityComparison Examination

Trophies for the ReachabilityDeadlock Examination

Trophies for the ReachabilityFireability Examination

Trophies for the ReachabilityMarkingComparison Examination

Trophies for the ReachabilityMix Examination

Trophies for the ReachabilityPlaceComparison Examination

Trophies for the StateSpace Examination