HCSS'12

file

Visible to the public A New Approach to Temporal Property Verification

Submitted by Byron Cook on Tue, 05/08/2012 - 9: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:

file

Visible to the public High Assurance Cyber Military Systems: A New DARPA Program

Submitted by kathleen.fisher on Tue, 05/08/2012 - 11:45am. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Visible to the public Static Previrtualization

Submitted by Natarajan Shankar on Tue, 05/08/2012 - 11:25am. Contributors:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Visible to the public Formal Synthesis of Efficient Verified Emulators

Submitted by TimTh on Tue, 05/08/2012 - 11:02am. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract: