swMATH ID: 7085
Software Authors: ClearSy
Description: Academic tool enabling the operational use of formal Method B for proven software development.
Homepage: http://www.b4free.com/index-en.php
Related Software: ProB; UNITY; jSpin; PROMELA; SymmSpin; Spin-to-Grape; Z2sal; Atelier B; Rodin; Uppaal; SPIN; TopSpin; nauty; Esterel; LusSy; Polychrony; RAVEN; Pinapa; SystemC
Referenced in: 3 Publications

Referencing Publications by Year