<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-01-20 12:19:49Evaluation Systems engineering Evaluation Assurance Level Common Criteria Biometrics SPARK Reliability engineering Altran Praxis Operating system Computing Security Computer security |
Add to Reading List |
EAL5 Demonstrator: Summary Report | EAL5 Demonstrator: Summary ReportDocID: 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 KDocID: Vaam - View Document |
| p Industrial case study: Zero defect secure software for the National Security AgencyDocID: 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 KernelDocID: 1zLE - View Document |