All Git Users → lip6

1 open source projects by lip6

[ Open user page on Github ]

A multi-formalism, multi-solution model-checker centered on the language GAL

✭ 17

java Promela Xtend perl HTML SMT eclipse ltl safety model-checking petri-net model-driven-development ctl

1-1 of 1 user projects