cesaro
Follow
-
cunf Public
A model checker for safe Petri nets based on partial-order semantics
-
dpu Public
Dynamic analysis of multithreaded C programs
-
-
dpu-cav18-exp Public
Replicability Package for the DPU experiments in our CAV'18 paper
HTML GNU General Public License v3.0 UpdatedApr 16, 2018 -
steroids Public
A library for dynamic analysis of multithreaded POSIX C programs
-
pod Public
POD is a research tool to perform partial-order based process discovery
-
-
impo Public
Inverse Method based on Partial Orders
Python GNU General Public License v3.0 UpdatedMar 7, 2016 -
pncat Public
The Petri Net swiss army knife.
Python GNU General Public License v2.0 UpdatedJul 23, 2015 -
cunf-mcc2015 Public
Scripts to run Cunf in the MCC 2015
C++ GNU General Public License v2.0 UpdatedMay 22, 2015 -
cunf-mcc2014 Public
Preparing the Cunf Tool to participate in the Model Checking Contest 2014
C++ GNU General Public License v2.0 UpdatedJan 6, 2015