Series: Penn State Logic Seminar

Date: Tuesday, February 27, 2001

Time: 2:30 - 3:20 PM

Place: 316 Willard Building

Speaker: Anatol Sisslenko, University of Paris 12, Computer Science

Title: A Logic Framework for Verification of Real-Time Reactive Systems

Abstract: 

The talk presents considerations and arguments showing that predicate
logics constitute a good basis for full-scale verification of
real-time distributed reactive systems. The related algorithmic
problems will be also discussed.