B Tools

This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B constitute high performance tools for learning the B language and for complex developments, but interfacing with other tools is difficult, al...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Formal Methods Applied to Complex Systems: Implementation of the B Method s. 47 - 81
Hlavný autor: Boulanger, Jean‐Louis
Médium: Kapitola
Jazyk:English
Vydavateľské údaje: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Predmet:
Atelier B
B language
B tools
open source tools
proof obligations (POs)
ISBN:1848217099, 9781848217096
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B constitute high performance tools for learning the B language and for complex developments, but interfacing with other tools is difficult, although it is possible to use open source tools to prove proof obligations (POs) generated using Atelier B. The chapter also presents the ABTools environment, used to test extensions to the B language by generalizing existing grammars. It is divided into three sections: general principles; presentation of Atelier B and presentation of open source tools.
ISBN:1848217099
9781848217096
DOI:10.1002/9781119002727.ch3