Here are screenshots taken from the Alpha release of the Rose Model Checker.

All products mentioned are registered trademarks or trademarks of their respective companies.

Questions or problems regarding this web site should be directed to webmaster@rationalrose.com
Copyright © 1999 Michael Moors. All rights reserved.
Last modified: Tuesday October 19, 1999.