RODIN Platform for the development of dependable complex software systems services
Download

RODIN Ranking & Summary

RODIN Tags

development develop development platform system service system service development develop system service

RODIN Description

Platform for the development of dependable complex software systems services RODIN is a free and open source platform for the cost effective rigorous development of dependable complex software systems services. RODIN is based on the event-B formal method and provides natural support for refinement and mathematical proof. Requirements: · Java 1.5 or later What's New in This Release: · Bug 1813657: Refactoring menu is not related to refactoring · Bug 1818464: Trivial PO does not discharge · Bug 1897572: Error in Proof Obligation Generator · Bug 1919546: P1,PP,M0-M3 not available as post tactic · Bug 1948095: importing existing projects · Bug 2414463: Builder called on non-Rodin files · Bug 2433212: Poor performance under KDE · Bug 2648946: Predicate Provers (newPP, P0) unable to discharge simple PO · Bug 2656831: saving proofs does not always work · Bug 2694492: proB widget do not display on second proB launch · Bug 2744052: NullPointerException in Builder on cyclic refinement · Bug 2782126: Your platform does not support SWT Browser widget. · Bug 2827806: Zombie files in buffer · Bug 2836774: Text Editor unable to save (exception) · Bug 2844797: The Proof Skeleton View does not adapt to the container · Bug 2895507: MH and other rules are ill-defined · Bug 2945276: Rodin keyboard view displayed untimely · Bug 2952087: Rodin 1.2 reuses erroneous Rodin 1.1 proof · Bug 2952090: when renaming a context,...

RODIN Related Software