BRILLANT/BCaml — A Free Tools Platform for the B Method

BRILLANT is a collaborative tool collection associated with the B formal language. The collection is centered around one particular tool known as BCaml. The initial and main purpose of BCaml is the implementation of the B method using recent methodologies, languages and technologies. The most recent...

Full description

Saved in:

Bibliographic Details
Published in:	Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 201 - 210
Main Authors:	Colin, Samuel, Petit, Dorian
Format:	Book Chapter
Language:	English
Published:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:	B method BCaml BRILLANT communicating sequential processes (CSP)\|\|B
ISBN:	1848217099, 9781848217096
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!