0 citations0 referencesGoogle Scholardoi.orgT2: Temporal Property VerificationLecture notes in computer science·2016·pp. 387–393Citations Over TimeTop 1% of 2016 papersMarc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir PitermanRelated Papers→ Proving that programs eventually do something good(2007)69 cited→ Reasoning about Liveness Properties in Event-B(2011)54 cited→ Verification of Liveness Properties in Distributed Systems(2009)12 cited→ Liveness in Interaction Systems(2008)12 cited→ Livecasts’ Audiences Talk about ‘Liveness’(2013)