Bcaml is a set of tools dedicated to B formal specifications processing. The distributions is provided as a set of (OCaml) 'modules' Each module implements a tool and/or a library.
released on 30 January 2008
|License||Verified by||Verified on||Notes|
|LGPLv2.1||Deborah Nicholson||23 May 2008|
Leaders and contributors
Resources and communication
|Developer||VCS Repository Webview||https://gna.org/svn/?group=brillant|
This entry (in part or in whole) was last reviewed on 23 May 2008.