République Tunisienne
Ministère de l'Enseignement Supérieur et RS Ministère des Technologies de la Communication et de l'Economie Numérique
Université de Carthage
La RechercheEspace membreCet espace est dédié aux étudiants, aux enseignants et au personnel administratif de l'école |
|
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
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. ».
|
