Altran Praxis - PDFSEARCH.IO - Document Search Engine

Altran Praxis
Results: 5

#	Item
1	EAL5 Demonstrator: Summary Report Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-01-20 12:19:49 Evaluation Systems engineering Evaluation Assurance Level Common Criteria Biometrics SPARK Reliability engineering Altran Praxis Operating system Computing Security Computer security
2	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 Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
3	p Industrial case study: Zero defect secure software for the National Security Agency Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 11:59:08 ISO standards Computer security Altran Praxis Evaluation Assurance Level National Security Agency Common Criteria Copyright law of the United States Integrity Smart card Evaluation Ethics Security
4	Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis) Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-01 08:32:13 Z notation Axiom Mathematical proof S Proof theory Mathematics Mathematical logic Logic
5	SPARK 95 - The SPADE Ada 95 Kernel Add to Reading List Source URL: intelligent-systems.altran.com Language: English - 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

UPDATE