Praxis

file

Visible to the public Correctness by Construction of High-Integrity Software

Submitted by rod_chapman on Mon, 09/12/2011 - 1:35pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Security by Construction - Engineering Software to Exceed EAL5

Submitted by TimTh on Wed, 08/24/2011 - 7:31pm. 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 - 9:35am. Contributors:

Presented as part of the 2005 HCSS conference.

file

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

Submitted by rod_chapman on Mon, 08/22/2011 - 9:57am. Contributor:

Presented as part of the 2006 HCSS conference.