dalzilio

LAAS-CNRSFrance

Pinned Repositories

4IR_MSC
files and information for the course on "Modélisation des Systèmes Concurrents"
Language:q0 1 05
dalzilio.github.io
code for my github personal page
Language:Jupyter Notebook0 1 00
docker-twina
docker file for generating the twina image
Language:TeX1 2 00
hue
A random walk explorer for colored Petri nets
Language:Go2 1 01
mcc
High-Level Nets Blaster for the Model-Checking Contest
Language:Go10 3 01
nets
Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox
Language:Go6 1 00
rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Language:Go10 1 01
SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Language:Python27 4 05
toolchain
WP7: Top Level Project for the toolchain
Language:TeX27 36 43730
validation
WP4: Validation and verification strategy
Language:HTML8 22 23022

dalzilio's Repositories

dalzilio/mcc
High-Level Nets Blaster for the Model-Checking Contest
Language:Go10 3 01
dalzilio/rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Language:Go10 1 01
dalzilio/nets
Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox
Language:Go6 1 00
dalzilio/hue
A random walk explorer for colored Petri nets
Language:Go2 1 01
dalzilio/docker-twina
docker file for generating the twina image
Language:TeX1 2 00
dalzilio/4IR_MSC
files and information for the course on "Modélisation des Systèmes Concurrents"
Language:q0 1 05
dalzilio/dalzilio.github.io
code for my github personal page
Language:Jupyter Notebook0 1 00