Geek Repo
followers
following
stars
Location:Toulouse, France
Github PK Tool:Github PK Tool
An engine for displaying slips, the next-gen version of slides
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Partie ASM du BE CHTI
