CEEC methodology presented at HiPEAC

logo-hipeac-small-trans-300x180The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. The 10th HiPEAC conference took take place in Amsterdam, The Netherlands from the 19th to the 21st of January 2015.

During the MILS workshop, Stéphane Lescuyer from Prove & Run presented the CEEC methodology as part of its presentation of the design of ProvenCore, Prove & Run formally proven, POSIX conformant microkernel compatible with the ARM and x86 architectures. This presentation is based on the following research article.