Doligez, Damien, 19..-....
VIAF ID: 204703353 ( Personal )
Permalink: http://viaf.org/viaf/204703353
Preferred Forms
Works
Title | Sources |
---|---|
Conception, realisation et certification d'un glaneur de cellules concurrent | |
Déduction automatique et certification de preuve pour la méthode B. | |
Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic | |
Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT. | |
Proof Automation for Atelier B Rules Verification. |