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