You need Rose 98i SP1 to run Rose Model Checker!!!

Licensing

This software, including documentation, source code, object code and/or additional materials is owned by 
Michael Moors (the Author). This License does not provide you with title or ownership of RoseGraph. The 
Author hereby grants you a non-exclusive, royalty free license to use Rose Model Checker as set forth below:
You are granted an unconditional, nonexclusive right to redistribute the program (the Executable Code).
The author of this program has no legal, financial, or any other concern in any artifacts produced by this program.
You may not sell, rent, or lease this application.

Warranty

There is no warranty or other guarantee of fitness for this software; it is provided solely "as is". Bug reports  or fixes may be sent to the Author (rationalrose@moors.cc), who may or may not act on them, as he  desires.

Download

RMC_1.00.0251.exe (463 KB) (7-Jan-2000)

 

v 1.01 Beta's:

  (please send me emails with your enhancement requests to rationalrose@moors.cc)

  RMC_1.01.0299.exe (488 KB)

  Not Publicly Available