SPARK 95 - The SPADE Ada 95 Kernel - SPADE - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-12-03 10:40:41 Procedural programming languages Ada programming language SPARK Ada Cross-platform software Altran Praxis Pascal Linux kernel C Computing Software engineering Programming language theory		SPARK 95 - The SPADE Ada 95 Kernel Add to Reading List Source URL: intelligent-systems.altran.com Download Document from Source Website File Size: 564,76 KB Share Document on Facebook

	EAL5 Demonstrator: Summary Report DocID: VCn9 - View Document
	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K DocID: Vaam - View Document
	p Industrial case study: Zero defect secure software for the National Security Agency DocID: Qftq - View Document
	Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis) DocID: sh77 - View Document
	SPARK 95 - The SPADE Ada 95 Kernel DocID: 1zLE - View Document