TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs

Radu Grigore ( Queen Mary University of London )

2Nov
11:30 2nd November 2011 ( week 4, Michaelmas Term 2011 )
Room 147

TOPL naturally captures relationships between objects and it is
designed with the goal of performing dynamic and static analysis. The
presentation covers its formal semantics as well as several examples
of its use.

Speaker bio

Radu Grigore first obtained a B.Sc. in EE, then moved to industry where he developed tools for verifying hardware, then obtained a Ph.D. with a thesis in program verification based on first-order logic, and is now a postdoc in Queen Mary University of London.