Heidy Khlaaf on 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 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. Heidy will be pursuing her PhD in September 2013.

Please register at the Skills Matter site for the event too: http://skillsmatter.com/podcast/scala/t2-a-temporal-property-verifier-in-f

Join or login to comment.

  • Robin T.

    Sorry not well :(

    March 28, 2013

  • Colin B.

    Can't make this... :(

    March 27, 2013


    Sorry I am unable to make this event

    March 18, 2013

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more

I decided to start Reno Motorcycle Riders Group because I wanted to be part of a group of people who enjoyed my passion... I was excited and nervous. Our group has grown by leaps and bounds. I never thought it would be this big.

Henry, started Reno Motorcycle Riders

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy