Programming and Proving: Practice with FoCaLiZe

Cours Année : 2014

(1)

François Pessaux

Sûreté et Fiabilité des Logiciels

This lecture provides the young PhD students with the basics of deductive proofs of program properties using the FoCaLiZe environment.

Programing Language Formal Proof Logics

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

Fichier principal

lecture.pdf (317.42 Ko)

https://hal.science/cel-01203517

Soumis le : mercredi 23 septembre 2015-11:48:14

Dernière modification le : mercredi 11 mai 2022-15:20:02

Archivage à long terme le : mardi 29 décembre 2015-09:33:47

cel-01203517 , version 1 (23-09-2015)

François Pessaux. Programming and Proving: Practice with FoCaLiZe. Doctoral. Rennes, France. 2014, pp.44. ⟨cel-01203517⟩

ENSTA ENSTA_U2IS

120 Consultations

77 Téléchargements