« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-n'importe +n’importe) |
m Robot : Remplacement de texte automatisé (- d'établir + d’établir ) |
||
Ligne 7 :
}}
Le langage B est issu de la Méthode B. Ce langage a été défini initialement par JR-Abrial. Il s'agit d'un langage formel qui permet d'exprimer des modèles conceptuels.
L'intérêt de ce langage est de permettre
La plateforme B bénéficie d'un prouveur. Il est donc possible d'énoncer des propriétés invariantes sur l'ensemble du système quel que soit son état.
| |||