StackOverflow Questions for Tag: alloy

Paul Snively

Reputation: 79

Why are empty `sig`s not shown providing instances?

alloy

Score: -1

Answers: 2

Geremia Moretti

Reputation: 53

what's the problem in defining multiple constraints?

constraintsalloy

Score: 1

Answers: 1

Roger Costello

Reputation: 3209

Relationship between Alloy and UML?

alloy

Score: 2

Answers: 1

Geremia Moretti

Reputation: 53

Problems with Alloy 6

alloy

Score: -1

Answers: 1

Filipe Oliveira

Reputation: 23

Alloy metamodel :: define local state and global state

modelalloy

Score: 1

Answers: 1

Griselle Z

Reputation: 177

How to sum more than two numbers in Alloy Analyzer?

alloymodel-checking

Score: 3

Answers: 3

luomein

Reputation: 89

Does Alloy accept free variable?

alloy

Score: 0

Answers: 1

luomein

Reputation: 89

The usage of the vertical bar, '|' in Alloy, and where is the convention from?

alloy

Score: 0

Answers: 1

devio

Reputation: 1169

Alloy does not find a solution (instance) for my specification

alloyformal-languagesformal-verificationformal-methods

Score: 1

Answers: 1

Job

Reputation: 3

How to revers a seq relation in Alloy

modelingspecificationsalloyformal-verification

Score: 0

Answers: 2

Jakumi

Reputation: 8374

Alloy - set difference leading to vars and clauses, set union does not

alloy

Score: -2

Answers: 1

Job

Reputation: 3

Unclear behaviour of variable signatures in alloy models

modelingspecificationsalloyformal-verification

Score: 0

Answers: 1

luomein

Reputation: 89

How to visualize a graph having multiple edge types in Alloy

alloy

Score: 0

Answers: 2

luomein

Reputation: 89

How to debug Alloy if the outcome is not as expected?

alloy

Score: 0

Answers: 1

CheatEx

Reputation: 2124

How to set up visualization of event-style models

alloy

Score: 0

Answers: 1

ANN

Reputation: 1

Alloy and webpro

alloy

Score: -4

Answers: 1

krpovmu_mahazanuca

Reputation: 1

Alloy executing same model with different combination of Facts or Predicates

alloy

Score: 0

Answers: 0

Eduard BABKIN

Reputation: 113

Should the book example be refined to avoid inconsistent results

alloy

Score: 0

Answers: 1

bd36

Reputation: 1

How to integrate Regex into Alloy Analyzer?

alloyformal-verification

Score: -1

Answers: 1

Pablo Fernandez

Reputation: 105210

Alloy6 allowing invalid state transitions

modelingalloysat

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: alloy

Why are empty `sig`s not shown providing instances?

what&#39;s the problem in defining multiple constraints?

Relationship between Alloy and UML?

Problems with Alloy 6

Alloy metamodel :: define local state and global state

How to sum more than two numbers in Alloy Analyzer?

Does Alloy accept free variable?

The usage of the vertical bar, &#39;|&#39; in Alloy, and where is the convention from?

Alloy does not find a solution (instance) for my specification

How to revers a seq relation in Alloy

Alloy - set difference leading to vars and clauses, set union does not

Unclear behaviour of variable signatures in alloy models

How to visualize a graph having multiple edge types in Alloy

How to debug Alloy if the outcome is not as expected?

How to set up visualization of event-style models

Alloy and webpro

Alloy executing same model with different combination of Facts or Predicates

Should the book example be refined to avoid inconsistent results

How to integrate Regex into Alloy Analyzer?

Alloy6 allowing invalid state transitions

what's the problem in defining multiple constraints?

The usage of the vertical bar, '|' in Alloy, and where is the convention from?