Compositional Reasoning (HCSS'12)

file

Visible to the public 3 Years After L.4 Verified

Submitted by TimTh on Tue, 05/08/2012 - 9:53pm. Contributor:

Presented as part of the 2012 HCSS conference.

file

Visible to the public A New Approach to Temporal Property Verification

Submitted by Byron Cook on Tue, 05/08/2012 - 8:48pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also brings some light to a couple of age-old questions.

Biography: