Meet up

T2: A Temporal Property Verifier in F#

Thursday, 28th March in London

This meetup was organised by F#unctional Londoners Meetup Group in March 2013


T2: A Temporal Property Verifier in F#

T2 is a tool created for the purpose of answering sophisticated questions about the universal temporal behaviour of programs. It automatically synthesizes execution environments that impose temporal properties that would not otherwise hold. Using F#, we are able to properly express, model, and verify temporal properties of infinite-state transition systems.

Heidy Khlaaf

Heidy Khlaaf is a Research Consultant at Adelard LLP where she evaluates, specifies, and verifies the implementations of safety-critical systems. She received her PhD from University College London where she developed novel research methodologies, in part with Microsoft Research, to fully-automate the verification of temporal properties over software systems.

Who's coming?

Attending Members

Sorry, no member has joined this event so far.