Dans le cadre du séminaire "Méthodologies et Technologies innovantes pour les systèmes embarqués" organisé par la DGA à Toulouse, les 5 et 6 Novembre 2013,...
Actualités
Séminaire technique à l’Université de Newcastle
CLEARSY intervient à l’occasion d’un séminaire technique organisé par l’Université de Newcastle le 24 Octobre 2013. Un exposé d’une heure, intitulé « Are...
Conférence CAI 2013
CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013,...
Séminaire Dagstuhl 2013
CLEARSY a participé au séminaire "Integration of Tools for Rigorous Software Construction and Analysis" (n° 13372), organisé à Dagstuhl (Allemagne) du 8 au 13...
Utilisation de la preuve formelle système pour garantir le nouveau CBTC de la ligne 7 (flushing) de New York
L'utilisation de la preuve formelle système pour garantir le nouveau CBTC de la ligne 7 (Flushing) de New York a été présentée à l'occasion d'une conférence...
SuperZenon pour compléter le prouveur de l’Atelier B
"SuperZenon is an experimental extension of the Zenon automated theorem prover, using the principles of superdeduction, among which the theory is used to...