%0 Journal Article %T A Novel Diagnostic Tool for Simulation Verification Using Invariant Criteria %A Farzaneh, Yadollah %A Akbarzadeh Tootoonchi, Alireza %J Advances in Natural and Applied Sciences %@ 1995-0772 %D 2009