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.
License
Eclipse Public License, Common Public License 1.0Follow RODIN
You Might Also Like
ManageEngine EventLog Analyzer is an on-premise log management solution designed for businesses of all sizes across various industries such as information technology, health, retail, finance, education and more. The solution provides users with both agent based and agentless log collection, log parsing capabilities, a powerful log search engine and log archiving options.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of RODIN!