FAR-Cubicle - A new reachability algorithm for Cubicle. - Sylvain Conchon; Amit Goel; Sava Krstic; Rupak Majumdar; Mattias Roux (FMCAD, 2017)

Reasoning About Universal Cubes in MCMT. - Sylvain Conchon; Mattias Roux (ICFEM, 2019)

Extensions de l'algorithme d'atteignabilité arrière dans le cadre de la vérification de modèles modulo théories. (Extensions of the backward reachability algorithm in the model checking modulo theories framework). - Mattias Roux (2019)