Wednesday, April 13, 2016

Model Checking - What Tools Do You Use?

Working on updating my Modeling checking presentation for RTC EU. There are a lot of good model checking tools on the market including but not limited to:
I am interested in hearing about other tools that people might be using for model checking in addition to those listed above.

No comments:

Is anyone using Deep Space for analytics? https://www.deepspacesync.com/