Thursday, November 3, 2011

原书名: The B-Book:Assigning Programs to Meanings

基本信息

Wednesday, November 2, 2011

Techniques industrielles de modélisation formelle pour le transport

Introduction - Jean-Louis BOULANGER
1. Une approche innovante et une aventure humaine au service
de la sécurité ferroviaire - Sylvain FIORONI
2. SAET-METEOR - Jean-Louis BOULANGER
3. Preuve de propriétés globales à l’aide de l’outil de preuve SIMULINK
DESIGN VERIFIER - Véronique DELEBARRE, Jean-Frédéric ETIENNE
4. Démonstration de la sécurité d’une application ferroviaire de signalisation
en mode nominal et en modes dégradés par la preuve formelle
Jean-Marc MOTA, Evguenia DMITRIEVA, Amel MAMMAR, Paul CASPI,
Salimeh BEHNIA, Nicolas BRETON, Pascal RAYMOND
5. Utilisation de la preuve formelle dans le CBTC (OCTYS)
Christophe TREMBLIN, Pierre LESOILLE, Omar REZZOUG
6. Validation d’automatismes ferroviaires de sécurité à base de réseaux
de Petri - Marc ANTONI
7. ERTMS Formal Specs : un langage dédié pour la formalisation
des spécifications pour le développement d’unité bord ERTMS
Laurent FERIER, Stanislas PINTE, Darius BLASBAND, Svitlana LUKICHEVA
8. Synthèse et conclusions - Jean-Louis BOULANGER
Glossaire
Bibliographies. Index

http://www.lavoisier.fr/livre/h3230.html

Fourth NASA Formal Methods Symposium


SECOND CALL FOR PAPERS

NFM 2012

Fourth NASA Formal Methods Symposium

Norfolk, Virginia, USA
April 3 - 5, 2012

http://shemesh.larc.nasa.gov/nfm2012/

nasa-nfm2012@mail.nasa.gov