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!

Schreiben Sie den ersten Kommentar!