• mercredi 02 juin 2004 : salle de conférences GII de l'EPUM
  
  
  • 15h00 : A temporal logic based formalism called TLA - Maximiliano CRISTEA
    professeur à l'Université de Rosario
    
    Résumé :
    Temporal logic has been traditionally used (or at least proposed) to specify reactive systems. The Temporal Logic of Actions (TLA) was developed by Leslie Lamport in order to make formal specification amenable for software and hardware engineers. It also gathers some foundationals results such as the theorem of Alpern-Schneider about safety and liveness properties. In this seminar a railroad crossing controlling software will be specified in TLA.