We talked about this in the Technical Committee Meetings in June 2013 too... Come on PTC, update ModelCheck!! I know it would be useful, but I don't have 2 weeks to figure out the configuration for it.
While we have made improvements in recent years, including an overhaul of the report UI in Creo 5.0 and new checks in the last few releases, I agree that the configuration is indeed complex. There is no solution planned in the near term, but it is something I want to overhaul in coming releases. If you have any thoughts on specific ways to simplify the setup process, please let me know.
Luke
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.