National HCSS Conference 2012

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:

page

Visible to the public Proceedings of the Twelfth Annual High Confidence Software and Systems Conference

Submitted by Katie Dey on Wed, 05/02/2012 - 10:38am

The 12th annual HCSS Conference was held May 8-11, 2012 in Annapolis, Maryland. The program agenda and slide presentations are listed below.