Industry

The document was issued by industry or industrial organization.
file

Visible to the public Verified Cryptographic Protocol Analysis: Vision and Status

Presented as part of the 2006 HCSS conference.

file

Visible to the public SPARK Language and Toolset: an intensive overview

Presented as part of the 2006 HCSS conference.

file

Visible to the public Formal Specifications on Industrial-Strength Code

Presented as part of the 2007 HCSS conference.

file

Visible to the public Analyzing a Cross-domain Component: Lessons Learned and Future Directions

Presented as part of the 2008 HCSS conference.

file

Visible to the public From Dirt to Shovels

Presented as part of the 2008 HCSS conference.

file

Visible to the public Challenges for NextGen Airspace