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é (- d'établir + d’établir )
m (Robot : Remplacement de texte automatisé (-n'importe +n’importe))
m (Robot : Remplacement de texte automatisé (- d'établir + d’établir ))
}}
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'établird’é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'ensemble du système quel que soit son état.
 
140 590

modifications

Menu de navigation