Publications : Mattias Roux
Back[2] | Sylvain Conchon and Mattias Roux. Reasoning about universal cubes in MCMT. In Yamine Aït Ameur and Shengchao Qin, editors, International Conference on Formal Engineering Methods, volume 11852 of Lecture Notes in Computer Science, pages 270--285. Springer, 2019. [ bib | full text on HAL ] |
[1] | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, and Mattias Roux. FAR-Cubicle - A new reachability algorithm for Cubicle. In Daryl Stewart and Georg Weissenbacher, editors, Formal Methods in Computer Aided Design, pages 172--175, 2017. [ bib | DOI | full text on HAL ] |
Back
This page was generated by bibtex2html.