CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013,...
Actualités
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...
Comment installer l’Atelier B 4.1 sur une machine Debian 64 bits
L'Atelier B 4.1 est disponible au téléchargement, notamment pour les machines Linux sous la forme de paquetages binaires pour les machines x86 32 bits sous...
Vérification formelle de programmes automates avec la méthode B
Nous publions ce mémoire de fin d'études qui aborde une problématique centrale pour les systèmes automatiques industriels critiques. Auteur: Haniel Moreira...