Prof. Moshe Vardi(Rice University)
"From Lowenheim to PSL"
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 an industrial-standard property-specification language called PSL. 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 model-checking tools. This talk attempts to trace the tangled threads of this development.
|Zeit:||Mittwoch, 12. Dezember 2007, 17:00 Uhr|
|Ort:||TU Kaiserslautern, Gebäude 57, Raum 208/210 (Rotunde)|
|Hinweis:||Der Vortrag wird live an die Universität des Saarlandes MPI-Gebäude E1.4 Raum 007 übertragen.|