Projet CORSS
Réunion du sous groupe Méthodes Formelles

ACI Sécurité Informatique

Mercredi 19 novembre 2003
CNAM
salle 31.2.05 de 9:30 à 16:00

Matin

1. Intégration de prouveurs
   Stephan Merz
   
   
2. FMONA preuve automatique de systèmes paramétrés
   Mamoun Filali
   
   
3. Modélisation de B en Coq et PVS
   Jean-Paul Bodeveix
   
   
4. Développement en B événementiel
   Dominique Cansell
   
   
5. Composition et rely/guarantee
   Leonor Prensa
   
   
6. Interaction de servcies
   Dominique Mery

Après-midi

• Architecture d'une plateforme B/TLA
  
  
• Preuves ensemblistes.
  
  
• Preuves automatiques : model checking, procédures de décision, ...
  
  
• Cooperation méthode formelle, logical framework
  
  
• Méthodologies de développement: composition raffinement
  
  

This document was translated from L^AT_EX by H^EV^EA.