Skip to main content

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

Radu Grigore ( Queen Mary University of London )

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.



Share this: