alloy

12 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why would prime (aka ') raise an error in the following: pred add (b, b': Book, n: Name, a: Addr) { b’.addr = b.addr + n -> a }?
user_104979960
•
1
1
38
alloy
Solving predicate calculus problems with Z3 SMT
user_7854940
•
5
2
381
alloy smt z3 first-order-logic predicate
How to sum more than two numbers in Alloy Analyzer?
user_110461760
•
2
2
171
alloy model-checking
What is the difference between assertions and unparameterized predicates in Alloy?
user_58079920
•
2
1
164
alloy
Comparing a concrete execution trace with an Alloy Model
user_1939620
•
1
2
63
alloy modeling
how is this sig being added to a relation in Alloy?
user_1127850
•
2
1
82
alloy
How to use a set comprehension for the body of a function
Admin1
•
3
1
96
alloy
How to Pass Sig from Alloy to Java and execute alloy model from Java
user_18040540
•
2
1
173
alloy declarative java
Is there a way to find out what is causing 'No Instance Found' on run in Alloy?
user_27585000
•
3
1
542
alloy formal-methods formal-verification formal-languages
Why does the name of a signature impact the number of variables?
user_9058450
•
3
0
75
alloy sat solver
Hot Questions