fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
No execution for Best Virtuel Tool
Last Updated
May 14, 2023

Important note

The Best Virtual Tool (BVT) is not a real tool. The values it reports are computed from the execution of participating tools. By provinding the union of all the values computed by the participating tools in 2021, it shows the «importance» of the golf medal compared to other tools.

So, since there are no real execution of BVT, we cannot display anything in this page.