Différences entre les versions de « Langage B »

17 octets ajoutés ,  il y a 9 ans
wikification
m (Robot : Remplacement de texte automatisé (-\b(p|P|antip|Antip)arr?all?[eéè]ll?e(s?|ment?)\b +\1arallèle\2))
(wikification)
{{à wikifier}}
 
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 preuve sur le modèle ainsi défini.