Publications : Paolo Herms
Retour| [5] | Paolo Herms. Certification of a Tool Chain for Deductive Program Verification. Thèse de doctorat, Université Paris-Sud, January 2013. http://tel.archives-ouvertes.fr/tel-00789543. [ bib | full text on HAL ] |
| [4] | Paolo Herms, Claude Marché, and Benjamin Monate. A certified multi-prover verification condition generator. In Rajeev Joshi, Peter Müller, and Andreas Podelski, editors, Verified Software: Theories, Tools, Experiments (4th International Conference VSTTE), volume 7152 of Lecture Notes in Computer Science, pages 2--17, Philadelphia, USA, January 2012. Springer. [ bib | full text on HAL | .pdf ] |
| [3] | Paolo Herms, Claude Marché, and Benjamin Monate. A certified multi-prover verification condition generator. Research Report 7793, INRIA, 2011. http://hal.inria.fr/hal-00639977/en/. [ bib | full text on HAL ] |
| [2] | Paolo Herms. Certification of a chain for deductive program verification. In Yves Bertot, editor, 2nd Coq Workshop, satellite of ITP'10, 2010. [ bib | full text on HAL ] |
| [1] | Paolo Herms. Partial type inference with higher-order types. Master's thesis, Università di Pisa, 2009. [ bib ] |
Retour
This page was generated by bibtex2html.