« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- d'établir + d’établir ) |
m Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat... |
||
Ligne 8 :
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 d’établir des preuves sur le modèle ainsi défini.
La plateforme B bénéficie d'un prouveur. Il est donc possible d'énoncer des propriétés invariantes sur
| |||