Doyouhaveissueswithinconsistentdesigns?Yourtimeshouldbespent
onnewdesignsnotboggeddownfixingexistingmodelsorproblems.
SmartCheckernotonlyfinds,butalsocorrectserrors.Ithasmore
checksthanModelCheckandcanworkaloneorasacomplementto
ModelCheck.Youcancheckitoutonalivewebdemo,MondayAugust
13that2:00pmeasternstandardtime.emailmeat
smckenney@sigmaxim.comforlogininformation.