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.

YOU MAY ALSO LIKE:

• How the JVM executes Java (in London on 24th July 2017)
• Uncle Bob's Clean Code: Agile Software Craftsmanship (in London on 1st - 3rd November 2017)
• Whole Team Approach to Agile Testing (in London on 6th - 8th November 2017)
• Agile Testing & BDD eXchange 2017 (in London on 9th - 10th November 2017)