Précédent : Aide au développement de preuves Remonter : Sémantique et preuves Suivant : Développement formel en B d'un
Précédent : Aide au développement de preuves Remonter
: Sémantique et preuves Suivant : Développement
formel en B d'un
Participante : Savi Maharaj
La notation Z est une notation mise au point pour spécifier formellement des systèmes informatiques. Nous avons utilisé le système Centaur pour donner une description formelle de de cette notation. Cette formalisation fournit la donnée de base pour décrire des analyses sur des documents écrits dans ces notations.