PRiME releases another free software tool – PRiME Code Generation Tool
PRiME has made available another free, open source software tool developed as part of its research activities.
PRiME Code Generation tool is a Rodin* plug-in that facilitates automatic code generation of Runtime Management software from verified Event-B formal models. The tool is an extension to the existing Rodin code generation plugin (Tasking Event-B). The tool has been tailored for generation of C/C++ code that is compatible with the PRiME Framework. The Code Generation tool is available for download and use from:
*Rodin is an Eclipse-based platform supporting Event-B language.