Research Seminar - December 10, 2003

Temporal Logic in Software Engineering

Abstract:

This talk will present an overview of some of the major contributions of temporal logic to current concerns in software engineering, particularly in formal methods, testing/simulation and security. It will include brief discussion of advances by the speaker in relevant areas of temporal logic research. We first consider recent work in verification of reactive systems. A second area concerns new methods appropriate for applications involving parallelism, interaction with the environment and metric information. Finally we consider security and network communication issues. The talk incorporates discussion of future plans.