17.12.2008, Συνεδριακό και Πολιτιστικό Κέντρο Πανεπιστημίου Πατρών

Ο κ. Ιωσήφ Σηφάκης, βραβείο Turing Πληροφορικής 2007, Διευθυντής Ερευνών του CNRS (Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας), Διευθυντής του Εργαστηρίου Verimag (CNRS/Πανεπιστήμιο της Grenoble/INP) βραβευμένος με το αργυρό μετάλλιο του CNRS το 2001, προτίθεται να δώσει διάλεξη την

Τετάρτη 17 Δεκεμβρίου και ώρα 16:00

με θέμα

The Quest for Correctness - Beyond Verification 

Η διάλεξη θα γίνει στο Αμφιθέατρο Ι-4 του Συνεδριακού και Πολιτιστικού Κέντρου Πανεπιστημίου Πατρών.

Περίληψη της διάλεξης

Joseph Sifakis

Verimag Laboratory

I discuss main achievements in the area of formal verification, in particular regarding their impact on the development of Computer Science as a discipline as well as future research directions.

The presentation starts with a short overview of formal verification techniques and their main characteristics followed by an analysis of their current status with respect to 1) requirements specification; 2) faithfulness of modeling; 3) scalability of verification methods.

Compositional modeling and verification is the main challenge for tackling complexity. I identify two complementary research directions for overcoming current difficulties in compositional techniques. 1) Moving from low-level automata-based composition to component-based composition, by developing frameworks encompassing heterogeneous components; 2) Use such frameworks to study compositionality techniques for particular architectures and/or specific properties.

I argue that these directions are not only an opportunity for reinvigorating formal verification, but they also lead to constructivity results which will help to close the gap between Formal Methods / Verification and Algorithms / Complexity

Σας προσκαλώ να παραβρεθείτε σε αυτή την πολύ ενδιαφέρουσα διάλεξη.

Καθηγητής Νικόλαος Σπύρου