e/B-Toolkit

Information
has gloss	eng: The B-Toolkit is a collection of programming tools designed to support the use of the B-Tool, a set theory based mathematical interpreter, for the purposes of a formal software engineering methodology known as the B-Method.
lexicalization	eng: B-Toolkit
instance of	c/Formal methods tools

Meaning
French
has gloss	fra: B-Toolkit est une suite de programmes conçue pour être utilisée avec le B-Tool, qui est un interpréteur mathématique de la théorie des ensembles, et permettant de mettre en œuvre la méthode formelle de développement de logiciels appelée Méthode B.
lexicalization	fra: B-Toolkit