Mr ROUX Mattias

Warning: this member left the laboratory on 31/12/2019

Doctorant Université Paris-Saclay Verification of Algorithms, Languages and Systems Tel : 0169153589 Fax : Office : 39/PCRI-S Personal web page : https://www.lri.fr/~roux Email : roux@lri.fr Publications Ph.D. dissertations & Faculty habilitations Ph.D   - Extensions of the backward reachability algorithm in the context of model checking modulo theories