SIMO(SIM Object oriented) is the evolution along the lines of SIM. We are about to release a new version of SIMO (ver. 3.0) which will integrate our previous experience with SIM into an efficient and up-to-date tool for SAT.

SIMO is used in the following systems:

• Thunder-Forecast, a proprietary architecture for model checking developed by Intel Corp.

If you want to have more information about SIMO, or if you have suggestions about it, mail to