Alloy analysis in ProB

Skip to first unread message

Pamela Zave

Jul 16, 2021, 10:41:50 AM7/16/21
to ProB Users
I work with models of networks in Alloy, and my research provides many opportunities for practical use of them.  However, I am having trouble with the complexity of analysis, despite careful scoping.  David Chemouil suggested that I try ProB on a sample problem.  Before I go to the trouble of installing ProB, is there anyone who would be willing to run a test for me on a sample Alloy file? 
Reply all
Reply to author
0 new messages