HCSS 2004

file

Visible to the public Theorem Provers as High Assurance Programming Environments

Submitted by TimTh on Wed, 08/24/2011 - 6:58pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Flexible Formal Methods for High Assurance: The Maude Experience

Submitted by Jose Meseguer on Wed, 08/24/2011 - 6:53pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Static Driver Verifier: Finding Device Driver Bugs at Compile-time

Submitted by Byron Cook on Wed, 08/24/2011 - 6:50pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Trust Engineering with Cryptographic Protocols

Submitted by guttman on Wed, 08/24/2011 - 6:48pm. Contributor:

Presented as part of the 2004 HCSS conference.