Programming and Proving: Practice with FoCaLiZe
Résumé
This lecture provides the young PhD students with the basics of deductive proofs of program properties using the FoCaLiZe environment.
Loading...
Cours
Année : 2014
François Pessaux : Connectez-vous pour contacter le contributeur
https://hal.science/cel-01203517
Soumis le : mercredi 23 septembre 2015-11:48:14
Dernière modification le : lundi 5 août 2024-14:50:04
Archivage à long terme le : mardi 29 décembre 2015-09:33:47
Dates et versions
Identifiants
- HAL Id : cel-01203517 , version 1
Citer
François Pessaux. Programming and Proving: Practice with FoCaLiZe. Doctoral. Rennes, France. 2014, pp.44. ⟨cel-01203517⟩
Collections
123
Consultations
93
Téléchargements