Nicolas Amat

icon indicating a website link https://nicolasamat.github.io/

icon company ONERA, The French Aerospace Lab icon location Toulouse, France icon location Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest

Results 1 repositories owned by Nicolas Amat

SMPT

27
Stars
5
Forks
Watchers

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

verified publisher icon nicolasAmat