alloy
Have an object in one set or another, but not both?
This is homework and I\'m having a lot of trouble with it. I am using Alloy to model a library. Here are the definitions of the objects:[详细]
2023-04-05 17:11 分类:问答Using alloy instances for creating Java instances and automatically generate testcase
I want to use alloy4 for an automated testcase generation researc开发者_JS百科h project. can anyone plz help me with this ?[详细]
2023-02-16 21:58 分类:问答Problem with predicate in Alloy
So I have the following bit of code in Alloy: sig Node { } sig Queue { root : Node } pred SomePred { no q, q\' : Queue | q.root = q\'.root[详细]
2023-02-09 23:10 分类:问答How can one express that a relationship must not be cyclic?
Consider a upgrades relationship: I need to make sure tha开发者_Python百科t upgrades cannot be circular. How can I do that in Alloy?It is sufficient to enforce transitivity and antireflexivity.[详细]
2023-01-25 07:59 分类:问答Getting an item by its date in Alloy
I\'m stuck on this formal methods homework problem and I\'m not sure what I\'m not getting right. I have two signatures, Item and ToDo which are defined as so:[详细]
2023-01-23 02:40 分类:问答Experiences with using Alloy in real-world projects
I have been interested in formal methods for some time. I have used formal methods to reason about some very specific sub-areas of a few projects I have been working on. I was never able to convince o[详细]
2022-12-21 18:28 分类:问答