Rose Model Checker (c) 1999 Michael Moors

This Add-In for Rational Rose checks your models and displays the results in a comprehensible fashion. It shows model properties, statistics and inconsistencies and it can perform actions to fix the inconsistencies.

Features

• Reports inconsistencies
• Fixes inconsistencies
• Reports Statistics
• Reports Model Properties

More information

www.rationalrose.com/modelchecker

Preview

www.rationalrose.com/modelchecker/preview.htm

Supported Rose versions

• Rose 2000
• Rose 98i with Service Pack 1

Download

www.rationalrose.com/modelchecker/downloads.htm

All products mentioned are registered trademarks or trademarks of their respective companies.
Send mail to webmaster@rationalrose.com with questions or comments about this web site. 
Copyright © 1999 Michael Moors
Last modified: December 17, 1999