Meet up

T2: A Temporal Property Verifier in F#


Thursday, 28th March at Skills Matter, London

This meetup is run by F#unctional Londoners Meetup Group. Starts at 6:30 PM.

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 currently a research intern at Microsoft Research Cambridge and is currently working on Temporal Property Verification with Byron Cook. She received a Bachelor of Science in Computer Science and Philosophy with a minor in Mathematics.

Who's coming?

Sorry, no member has joined this event so far.