Type de séminaire
Séminaire
Titre
Moshe Vardi - From Philosophical to Industrial Logics
Organisateur
Nicolas Halbwachs, Directeur de VERIMAG
Intervenant
Moshe Vardi
Date
05/11/2010
Heure
14h00
Information détaillée


- Moshe Vardi, Rice University, http://www.cs.rice.edu/ vardi/

- Location : CTL. How to come to CTL :http://www-verimag.imag.fr/ async/reachus.php

- Seminars at VERIMAG : http://www-verimag.imag.fr/Verimag-Seminars,62.html?lang=en

- See also :
— Séminaire des "Keynotes du LIG" du 04/11/210 : "Moshe Vardi - And Logic Begat Computer Science, When Giants Roamed the Earth"
— Séminaire INRIA et Séminaire des "Keynotes du LIG" du 04/11/210 : "2 séminaires exceptionnels.... G. Berry et M. Vardi"

Résumé

One of the surprising developments in the area of program verification is how several ideas introduced by logicians in the first part of the 20th century ended up yielding at the start of the 21st century industry-standard property-specification languages called PSL and SVA. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s for second-order arithmetics, into effective algorithms for industrial model-checking tools. This talk attempts to trace the tangled threads of this development.







Langues du site

ou d'autres langues
via la passerelleAXiMAG...






Suivez le LIG sur Twitter


Nos partenaires




UMR 5217 - Laboratoire LIG - Maison Jean Kuntzmann - 110 av. de la Chimie - Domaine Universitaire de Saint-Martin-d’Hères - BP 53 - 38041 Grenoble cedex 9 - France
Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85
CNRS Grenoble INP INRIA UJF UPMF Université Stendhal