SofCheck Software Analysis and erification Ada 200Y -- What and Why SIGAda 02 December 2002 S. Tucker Taft President SofCheck, Inc.