1. A verification system, comprising: a system framework configured to communicate with an application program and further configured to instantiate at least one verification engine in a user defined sequence; a set of verification engines configured to be instantiated by the system framework and including at least one decision engine configured to determine a solution for a verification problem; and means within at least one of the verification engines for communicating verification information to at least one other engine.