Services
In the microelectronics field
The microelectronic field is a major activity for Clearsy. This specific field is a great proof of Clearsy’s know-how.
Microeletronic systems
The microelectronic field is a major activity for Clearsy. This specific field is a great proof of Clearsy’s know-how. The formal B Method permits to obtain a safe software and to modelize the system in its integrity, so that no specification gets in conflict with another one. Finally, after this modelization, Clearsy’s great skill in electronic safety, allows to create a safe and secure system. Most of Clearsy’s project that don’t specifically concern system audits or software developments are micro-electronic projects.
FORCOMENT
Event-B for the synthesizable VHDL