Presentation

file

Visible to the public Verified ARM Implementations

Submitted by TimTh on Wed, 08/24/2011 - 9:22am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Narrowing Reachability Analysis

Submitted by Jose Meseguer on Wed, 08/24/2011 - 9:21am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Cyclone: A Type-Safe Dialect of C

Submitted by TimTh on Wed, 08/24/2011 - 9:18am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Software Assurance Metrics and Tool Evaluation

Submitted by TimTh on Wed, 08/24/2011 - 9:13am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Function Extraction for Malicious Code: The FX/MC Project

Submitted by TimTh on Wed, 08/24/2011 - 9:10am. Contributor:
file

Visible to the public Software Assurance & the DoD

Submitted by TimTh on Wed, 08/24/2011 - 9:07am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Sufficient Evidence? Building Certifiably Dependable Systems

Submitted by TimTh on Wed, 08/24/2011 - 9:05am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public The Challenge of Verified Software

Submitted by Natarajan Shankar on Wed, 08/24/2011 - 9:02am. Contributor:

Presented as part of the 2005 HCSS conference.