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:
- Uncle Bob Martin's Clean Code Workshop on Agile Software Craftsmanship (in London on 22nd - 23rd June 2015)
- When Men were Men, Computers were Computers, and Women were Programmers (in London on 24th June 2015)
- Conway's Law & Reverse Conway's Law - How to avoid being caught by it and how to turn it to your advantage (in London on 13th July 2015)
- µCon 2015: The Microservices Conference (in London on 9th - 10th November 2015)
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.