Isabelle et la logique de Hoare
Isabelle et la logique de Hoare - Divers - Programmation
Marsh Posté le 21-11-2005 à 17:06:47
Reply
Marsh Posté le 21-11-2005 à 17:20:47
| betsamee a écrit : elle est bonne au moins la Isabelle en question? |
Jette un coup d'oeil 
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
Sujets relatifs:
- Besoin d'aide sur l'utilite d'une equation logique
- Test logique puis masquage de la ligne correspondante?
- classe recursive, erreur de logique introuvable... :( [résolu ^^']
- pb de logique pour un algorythme
- [lex/yacc] Probleme pas logique
- logique de tests unitaires
- [Perl] Question de logique mathématique
- [XML] Attribut ou élément ? Qu'est ce qui est le plus logique ?
- [php]problème avec la fonction logique || [resolu]
- Problème de logique : relation plusieurs à plusieurs
Marsh Posté le 21-11-2005 à 16:42:44
Bonjour,
)
Je dois travailler sur le logiciel Isabelle (systeme de preuves avec logique de hoare)
et je ne trouve nul part de tutorial correct. j'ai vraiment du mal a m'y mettre
Par hasard quelqun en a déjà fait ? et connait il un tuto efficace ?
merci ...
(ps : oui j'ai pas oubligé de googler