D-SIMCON Automated Model Verification