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

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!