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:
- DDD eXchange 2017 (in London on 27th - 28th April 2017)
- Greg Young's CQRS, Domain Events, Event Sourcing and how to apply DDD (in Stockholm on 22nd - 24th May 2017)
- Whole Team Approach to Agile Testing (in London on 5th - 7th June 2017)
- Alberto Brandolini's DDD Modelling Workshop (in London on 26th - 28th June 2017)
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.