Industry

The document was issued by industry or industrial organization.
file

Visible to the public Trust Engineering with Cryptographic Protocols

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

Presented as part of the 2004 HCSS conference.

file

Visible to the public Recent Results with Correctness by Construction and SPARK

Submitted by rod_chapman on Wed, 08/24/2011 - 8:35am. Contributors:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Specware Technologies

Submitted by TimTh on Wed, 08/24/2011 - 8:32am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Cryptol Technologies

Submitted by TimTh on Wed, 08/24/2011 - 8:27am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Protocol Derivation Assistant

Submitted by Dusko P on Wed, 08/24/2011 - 8:23am. 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 - 8:02am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public 2005 High Confidence Software & Systems Keynote

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

Presented as part of the 2005 HCSS conference.

file

Visible to the public A Business Case for FP

Submitted by Launchbury on Wed, 08/24/2011 - 7:21am. Contributor:

Presented as part of the 2005 HCSS conference.