If you are interested in this..
If you are interested in this..
Posted Nov 8, 2012 18:24 UTC (Thu) by hisdad (subscriber, #5375)Parent article: RTLWS: Modeling systems with Alloy
Check out mCRL2.
The learning curve is steep, though
--Dad