1. A method for processing information to provide a behavioral environment for use in model checking of a logic design, said method comprising: performing a simulation testing of the logic design using simulation input signals; identifying state transitions resulting from said simulation testing, said state transitions being actual transitions observed during said simulation testing; and using said state transitions in providing a model input environment for a model checking process of the logic design.