AAU logo

Department of Computer Science

From Silver to Gold in Model Checking Contest

Professor MSO Jiri Srba has recently won two gold medals and one silver medal in the esteemed Model Checking Contest.

Last modified: 09.07.2018

For the past five years, professor MSO Jiri Srba has taken part in the esteemed Model Checking Contest, and the efforts of his team have hitherto been awarded with silver medals every year. However, in 2018, the model checker TAPAAL landed the gold medal in the categories “Reachability Category” and “CTL Model Checking”. In addition, it won another silver medal in the category “Uppers Bounds Checking”. The results were announced on June 25th, 2018 at the Petri Net conference in Bratislava.

TAPAAL is a tool for modelling, simulation and verification of timed-arc Petri nets, and around 35 developers have contributed to the TAPAAL code over the past 10 years. 

On 22nd August, TAPAAL will celebrate its 10th anniversary. This special occasion is marked at the Department of Computer Science who will invite all past and current developers for a celebratory drink and welcome talk.


The Model Checking Contest is an annual scientific event which takes place at the Petri Net conference. A team of researchers compares tools in various categories according to selected benchmarks in order to identify best tools and the techniques that can handle given types of problems, for example reachability.

The TAPAAL project, which has run for the last 10 years, is headed by professor MSO Jiri Srba and it enjoys a massive student involvement and support. Details about the competition are available at the competition web-page.


Professor MSO Jiri Srba srba@cs.aau.dk.