Précédent : Un environnement léger pour Alf Remonter : Actions de recherche Suivant : Aide au développement de preuves

Sémantique et preuves

Mots-clés : fiabilité du logiciel, sémantique, sémantique naturelle, COQ

• Aide au développement de preuves en sémantique naturelle
• Environnement Centaur pour Z
• Développement formel en B d'un algorithme de graphes