CLEARSY attended a Seminar,”Integration of Tools for Rigorous Software Construction and Analysis” (13372),  held at Schloss Dagstuhl in Germany (8-13 […]

CLEARSY is taking part in the AI4FM 2011 workshop, which will be held on 28 and 29 April 2011 at […]

CLEARSY is pleased to announce its participation to the APM-ATS 2011 conference, which will take place from 22 to 26 […]

CLEARSY is pleased to announce its participation to the SIFER 2011 Fair, which will take place from 5th to 7th […]

The Preliminary Hazard Analysis (PHA) consists in identifying, at the system level, which redundant events can lead to dangerous situations […]

The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held […]

CLEARSY is delighted to announce its participation in the Innotrans show, which will take place from 21st to 24th September […]

CLEARSY now teaches courses on the formal methods at the Bourges École nationale supérieure d’ingénieurs (ENSI de Bourges): Software specifications […]