Mattias Roux

According to our database1, Mattias Roux authored at least 3 papers between 2017 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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).
PhD thesis, 2019

Reasoning About Universal Cubes in MCMT.
Proceedings of the Formal Methods and Software Engineering, 2019

2017
FAR-Cubicle - A new reachability algorithm for Cubicle.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017


  Loading...