Alloy analysis in ProB

5 views

Skip to first unread message

Pamela Zave

unread,

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

Forward

0 new messages