T2: Temporal Property Verification.

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman

Browse the full TACAS paper archive.