Verification of the Schorr-Waite algorithm–From trees to graphs M Giorgino, M Strecker, R Matthes, M Pantel Logic-Based Program Synthesis and Transformation: 20th International …, 2011 | 18 | 2011 |
Correctness of pointer manipulating algorithms illustrated by a verified BDD construction M Giorgino, M Strecker FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 4 | 2012 |
BDDs verified in a proof assistant (Preliminary report) M Giorgino, M Strecker Proc. of Theoretical and Applied Aspects of Program Systems Development …, 2010 | 4 | 2010 |
Vérification de structures de pointeurs M Giorgino Rapport de master, Ecole Nationale Supérieure d’Electrotechnique, d …, 2008 | 2 | 2008 |
Towards a formalisation of graph transformations in proof assistants M Strecker, M Giorgino Automatic Verification of Critical Systems, 178-183, 2006 | 2 | 2006 |
Inductive representation, proofs and refinement of pointer structures M Giorgino Université de Toulouse, Université Toulouse III-Paul Sabatier, 2013 | 1 | 2013 |
Verification of BDD algorithms by refinement of trees M Giorgino, M Strecker Technical report, IRIT, 2010. http://www. irit. fr/~ Mathieu. Giorgino …, 2010 | 1 | 2010 |
Génération de programmes eficaces et vérifiés M Giorgino, R Matthes, M Strecker | 1 | 2008 |
Towards the verification of efficient BDD algorithms M Giorgino, M Strecker Formal Verification of Object-Oriented Software, 172, 0 | | |
Verification of the Schorr-Waite algorithm–From trees to graphs (Extended version) M Giorgino, M Strecker, R Matthes, M Pantel | | |