Espace membre

Cet espace est dédié aux étudiants, aux enseignants et au personnel administratif de l'école

Valider

Mot de passe oublié?

Evènements et manifestations

28/09/2013

Séminaire « Logics for verifying hardware, software and communication protocols. »




 

Professeur Tetsuo IDA de l'université Tsukuba du Japon (Département Computer science), assurera, à Sup'Com, un séminaire du samedi 28 septembre au jeudi 4 octobre 2013.





Intitulé


 

« Logics for verifying hardware, software and communication protocols. »

 


Programme


  • Samedi 28 Septembre, de 8h30 à 12h30
  • Mardi 1 Octobre, de 14h à 18h, à l'amphi 2
  • Jeudi 3 octobre, de 8h30 à 12h30, à l'amphi 1

Résumé


 

« We will discuss various logics to be used for verifying mission-critical properties of computer systems - software, hardware and communications. The logics include the standard propositional, predicate logics and model logics. We explain them from bird-eye-view point, as the time is limited and yet as the in-depth understanding of the logics is indispensable to appreciate the effectiveness of the modern proof techniques with proof assistants such as Coq, Isabelle and Mizar, and of software tools such as SMV and SAT. Then we turn to a few important examples - prototypical ones that can be extended to solutions to real world problems. ».