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:
- London Digital Project Managers (in London on 16th September 2016)
- Uncle Bob's Clean Code: Agile Software Craftsmanship (in London on 31st October - 2nd November 2016)
- Agile Testing & BDD eXchange 2016 (in London on 10th - 11th November 2016)
- Jenny Martin and Pete Buckney's BDD From Start to Finish - Successful Delivery through Continuous Collaboration (in London on 14th - 16th November 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.