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

Full description

Saved in:

Bibliographic Details
Published in:	Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 47 - 81
Main Author:	Boulanger, Jean‐Louis
Format:	Book Chapter
Language:	English
Published:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:	Atelier B B language B tools open source tools proof obligations (POs)
ISBN:	1848217099, 9781848217096
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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