The Forcoment project (FORmal COdevelopMENT) is a PACA-focused project, financed by the PACA region, grouping together STMicroelectronics and CLEARSY in its final stages (4th and 5th convenants of the PACA regional council), with the aim of showing that an Event-B model of a functionality can be transformed into description hardware, which is directly integrated into a classic electronic circuit development cycle, such as that of the STMicroelectronics microcontrollers.
