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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Formal Methods Applied to Complex Systems: Implementation of the B Method s. 47 - 81
Hlavní autor: Boulanger, Jean‐Louis
Médium: Kapitola
Jazyk:angličtina
Vydáno: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:
Atelier B
B language
B tools
open source tools
proof obligations (POs)
ISBN:1848217099, 9781848217096
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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