Giters
Fabrice Kordon (fkordon)

fkordon

Geek Repo

22

followers

0

following

2

stars

Company:Sorbonne Université (ex UPMC)

Location:Paris

Home Page:http://lip6.fr/Fabrice.Kordon

Github PK Tool:Github PK Tool

Fabrice Kordon's starred repositories

cunf

A model checker for safe Petri nets based on partial-order semantics

Language:C++License:GPL-3.0Stargazers:13Issues:0Issues:0

imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

Language:OCamlLicense:GPL-3.0Stargazers:26Issues:0Issues:0