Documents SofCheck Software Analysis and erification Ada 200Y -- What and Why SIGAda 02 December 2002 S....

Slide 1SofCheck Software Analysis and erification Ada 200Y -- What and Why SIGAda 02 December 2002 S. Tucker Taft President SofCheck, Inc. Slide 2 Ada is Alive and Evolving…