Model Checker

Back Home Up Next

 

 

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