Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Archive
  • Registration
  • Program
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public 2005 HCSS Conference Proceedings

  • View
Submitted by Katie Dey on Wed, 12/04/2013 - 5:16pm

The 5th annual HCSS Conference was held March 9-11, 2005. The program agenda and slide presentations are listed below.

  • A Business Case for FP
  • Direct Software Assurance
  • 2005 High Confidence Software & Systems Keynote
  • The Challenge of Verified Software
  • Sufficient Evidence? Building Certifiably Dependable Systems
  • Software Assurance & the DoD
  • Software Assurance Metrics and Tool Evaluation
  • Unsafe at any (CPU) Speed - Why We Make the Same Mistakes Over and Over Again
  • A Next-Generation Platform for Analyzing Executables
  • Cyclone: A Type-Safe Dialect of C
  • Narrowing Reachability Analysis
  • Verified ARM Implementations
  • Protocol Derivation Assistant
  • Programatic Development Environment
  • Cryptol Technologies
  • Specware Technologies
  • Recent Results with Correctness by Construction and SPARK
A Business Case for FP ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO