Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Nicolas Amat

Registered user since Sun 13 Jun 2021

Name:Nicolas Amat

I am a PhD student at LAAS-CNRS, in Toulouse. My research interests include model checking, Petri nets and SMT solving. I am currently working on new methods for taking advantage of Petri net reductions in combination with a SMT-based model-checker.

Research interests:Model Checking, Petri Nets, SAT/SMT Solving, Interactive Theorem Proving


SPIN 2021 Accelerating the Computation of Dead and Concurrent Places using Reductions
Show activities from other conferences

Using general profile