fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
TINA.tedd-c versus other tools, all performance charts («Surprise» models)
Last Updated
Jun 22, 2022

Introduction

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