Registered user since Sun 13 Jun 2021
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.
|SPIN 2021||Accelerating the Computation of Dead and Concurrent Places using Reductions|
|Show activities from other conferences|