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 2007 HCSS Conference Proceedings

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

The 7th annual HCSS Conference was held May 8-10, 2007. The program agenda and slide presentations are linked below.

  • TSE and Applications
  • Formal Specifications on Industrial-Strength Code
  • Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution
  • Static Analysis for High Assurance and Security
  • Formal Methods Anecdotes: Worse Is Better!
  • Trust Relationships
  • Manifest Safety and Security
  • Justifiable Confidence? Making Software Dependable
  • The Verified Software Initiative
  • Compositional Assurance for MILS
  • Verifying a High-Performance Micro-kernel
  • ARM Verification
  • Circuit Specification, Abstraction, and Reverse Engineering
  • A Formal Semantics for ASN.1
  • Turnstile: A High-Assurance Cross Domain Platform
  • The Haskell Lightweight VM
TSE and Applications ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO