|

Programming Languages

»

Parent Categories/Forums: Programming Languages

Edit this Forum

Alloy Analyzer

This forum is an archive for the mailing list: alloy-discuss@yahoogroups.com (mailing list options). Messages posted here will be sent to this mailing list.

The Alloy Analyzer is a tool developed by the Software Design Group for analyzing models written in Alloy, a simple structural modeling language based on first-order logic.

Child Forums (0): None

Post New Message :: Alert me of new posts :: Rating Filter:

« Newest ‹ Newer — Threads 1-35 — Older ›

Thread (287 Threads)

Rating

Replies

Last Message

How to define transitive closure of tree-like relations for reachability, transitive closure over a formula by Sharon Goldschlager

2

by Sharon Goldschlager

Displaying Alloy optimizations impact by Sharon Goldschlager

0

by Sharon Goldschlager

How does the Analyzer slice Alloy models? by ikarus1983de

1

by Felix Chang-2

How does the Analyzer slice Alloy models? by ikarus1983de

0

by ikarus1983de

haw to declare integers by ylayouni

2

by Daniel Jackson-6

how to express condition by ylayouni

5

by ylayouni

Re : how to express condition by ylayouni

0

by ylayouni

Defining formal semantics using Alloy by pierrekelsen

8

by pierrekelsen

jar file for Alloy 4.1.5 by Miguel Carrillo

1

by Felix Chang-2

TranslationRecords in Solution.proof().core() have empty env() by chrissoalloyuser

1

by Emina Torlak

Is it possible with Alloy? by Michael Igler

4

by Felix Chang-2

UnboundLeafException for a relation that is in the Bounds object by chrissoalloyuser

7

by chrissoalloyuser

alloy4 reference by h_a

1

by Felix Chang-2

Peterson Example by Paulo J. Matos

0

by Paulo J. Matos

instance type by w.icelander

2

by w.icelander

Checking Multiple Assertions by w.icelander

5

by Daniel Le Berre

Alloy 4 Eclipse (A4E) M3 released by Daniel Le Berre

0

by Daniel Le Berre

Multiple/combined Assertions in a check by w.icelander

0

by w.icelander

Statement Spanning Multiple Lines by w.icelander

1

by Felix Chang-2

Odd behaviour, possible bug by jasonreich_uk

1

by Felix Chang-2

Incorrect "open" statements behavior by akupriyanov

1

by Felix Chang-2

Alloy unit tests / automated tests by Aaron Evans-2

0

by Aaron Evans-2

Integers in Kodkod ( IntConstant.constant (...) ) by chrissoalloyuser

3

by chrissoalloyuser

survey of industrial use of formal methods by Daniel Jackson-6

10

by Felix Chang-2

A4 module resolution paradox by Nicolas F Rouquette

5

by Felix Chang-2

fundamentals_of_Alloy by h_a

0

by h_a

ASA by Asa Asa

2

by dirge

Inconsistent Solution Space by Abdallah Rayhan

18

by Felix Chang-2

Powerset Impossibility by Paulo J. Matos

5

by Paulo J. Matos

Generating a set through fact restrictions by Paulo J. Matos

2

by Paulo J. Matos

Visualization of a Kodkod Solution by chrissoalloyuser

3

by Felix Chang-2

abstract and extends by dirge

0

by dirge

Integer Power by Paulo J. Matos

1

by Felix Chang-2

RE: Alloy 4 Eclipse : how to stop an execution? by Irina Rychkova

3

by Daniel Le Berre

Alloy 4 Eclipse (A4E) Milestone 2 available by Daniel Le Berre

0

by Daniel Le Berre

Post New Message :: Alert me of new posts ::

« Newest ‹ Newer — Threads 1-35 — Older ›