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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal Methods Applied to Complex Systems: Implementation of the B Method S. 47 - 81
1. Verfasser:	Boulanger, Jean‐Louis
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Schlagworte:	Atelier B B language B tools open source tools proof obligations (POs)
ISBN:	1848217099, 9781848217096
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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