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.
YOU MAY ALSO LIKE:
- Fast Track to F# with Tomas Petricek & Phil Trelford (in London on 29th - 30th November 2016)
- Fast Track to Clojure (in London on 29th - 30th November 2016)
- Progressive F# Tutorials 2016 (in London on 5th - 6th December 2016)
- Lightbend's Fast Track to Akka with Scala (in London on 12th - 13th December 2016)
T2: A Temporal Property Verifier in F#
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.