Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
No execution for Best Virtuel Tool
Last Updated
Jun 28, 2021

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.