1. A method for performing model checking, the method performed by a computer having a processor and a memory, the method comprising: concurrently executing, with respect to a model, one or more model reducers and one or more model checkers; and synchronizing information between a portion of the one or more model checkers and model reducers, thereby improving performance of at least one module without a-priori suspending an operation of the module, wherein the at least one module is selected from the group consisting of the one or more model reducers and the one or more model checkers.