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...
Actualités
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...
Atelier B 4.1.0 & le Japon
CLEARSY et Witz Corporation coopèrent au développement de l'utilisation de la méthode B au Japon. Plusieurs actions ont été entreprises depuis l'année...
Event B 2012: Workshop on the experience of and advances in developing dependable systems in Event B
CLEARSY a participé à un workshop sur le B évènementiel (event B) à Kyoto au Japon le 13 novembre 2012, dans le cadre de la conférence ICFEM 2012. CLEARSY y a...