fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Irma.struct versus other tools, all performance charts («All» models)
Last Updated
Apr 15, 2019

Introduction

This page allows you to have a look on how GreatSPN performs face to other tools in the following examinations: