Fault Tolerant Systems Research Group

On this page we detail our most recent measurement results comparing some state-of-the-art model checkers to our algorithm based on models of the Model Checking Contest. A total of 7850 measurements were done with 4 tools. We process the collected data continuously, so this page is updated from time to time to present more detailed plots and descriptions. Read more »

The Stochastic Petri Net models are available here: https://github.com/kris7t/stochastic-analysis/tree/master/models

Tool is available here: http://petridotnet.inf.mit.bme.hu/releases/PetriDotNet-1.5-beta1.exe

User manual: http://petridotnet.inf.mit.bme.hu/releases/pdn1_manual.pdf Read more »