CNRS Research Fellow at the Computer Science Research Lab of the University of Bordeaux.
Popular repositories Loading
-
-
-
icover
icover PublicForked from michaelblondin/qcover
ICover: Petri net coverability checker with invariant-based pruning
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.