Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof. You can find more info
Project Admins:
dissemination, halstefa, lvoisin, thanik
Operating System:
OS Independent (Written in an interpreted language)
License:
Common Public License, Eclipse Public License
Category:
Scientific/Engineering, Software Development
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.