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?