Integrity Implied by Ada Compiler Validation?



Date view Thread view Subject view Author view

jbrooksh(at)calstar3.lasc.lockheed.com
Fri, 7 Jul 1995 07:35:13 +0500


I would like to know if anyone on these lists has anything to say about the probable integrity of an Ada compiler (compilation system) implied by meeting the requirements of validation (certification?). My application specifically refers to software safety, and of course is only one of many concerns for safety of the resultant software. Thanks, Jerry R Brookshire jbrooksh(at)calstar3.lasc.lockheed.com


Date view Thread view Subject view Author view