fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Tapaal(PAR) versus other tools, all performance charts («All» models)
Last Updated
June 30, 2016

Introduction

This page allows you to have a look on how Tapaal(PAR) performs face to other tools in the following examinations: