fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
TINA.sift versus other tools, all performance charts («Known» models)
Last Updated
June 27, 2017

Introduction

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