
Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]

This international event gathers each year the political authorities, public transport companies operators, scientific institutes, service providers and of the […]

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest […]

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the […]

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016.

At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to […]

CLEARSY co-organizes the 19th Brazilian Symposium of Formal Methods (http://sbmf2016.imd.ufrn.br/) that will take place in Natal (RN – Brazil), November […]