A report on PRiME code generation activities
Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi, Michael J. Butler · ePrints Soton (University of Southampton) · 2018
In this abstract, we briefly present our experience in generating code from Event-B models of run-time management software for multi-core embedded platforms as part of the PRiME project 1 .We discuss the current limitation in Event-B Code Generation (CG) and outline our plan for a new CG tool.