Extending model checking to object process validation door