Différences entre les versions de « Langage B »

Aller à la navigation Aller à la recherche
2 octets ajoutés ,  il y a 5 ans
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...
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...)
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 l'ensemblel’ensemble du système quel que soit son état.
 
 
140 590

modifications

Menu de navigation