Software Search - zbMATH Open

Alloy

swMATH ID:	1247
Software Authors:	Jackson, Daniel
Description:	Alloy: A new technology for software modelling. Alloy is a lightweight language for software modelling. It’s designed to be flexible and expressive, and yet amenable to fully automatic simulation and checking. At its core, Alloy is a simple first order logic extended with relational operators. A simple structuring mechanism allows Alloy to be used in a variety of idioms, and supports incremental construction of models. Alloy is analyzed by translation to SAT. The current version of the tool uses the Chaff and Berkmin solvers; these are powerful enough to handle a search space of 2 100 or more. Alloy has been applied to problems from very different domains, from checking the conventions of Microsoft COM to debugging the design of a name server. Most recently, we have used it to check distributed algorithms that are designed for arbitrary topologies. We are also investigating the use of Alloy to analyze object-oriented code.
Homepage:	http://alloy.mit.edu/alloy/
Related Software:	Alcoa; SPIN; Z; Mace4; Z/EVES; Chaff; Kodkod; PVS; Isabelle/HOL; Coq; TestEra; Circus; FDR2; NuSMV; z3; ProB; Prover9; Why3; TPTP; RelView
Cited in:	23 Publications

1 Publication describing the Software, including 1 Publication in zbMATH	Year
Alloy: A new technology for software modelling. Zbl 1043.68520 Jackson, Daniel	2002

all top 5

3	Cristiá, Maximiliano
3	Rossi, Gianfranco
2	Jackson, Daniel
2	López Pombo, Carlos Gustavo
2	Shlyakhter, Ilya
1	Al-Yahya, Tasniem Nasser
1	Batty, Mark
1	Borba, Paulo
1	Boronat, Artur
1	Cherkaoui, Omar
1	Constantinides, George A.
1	Deca, Rudy
1	DeLisi, Michael
1	Ehrig, Karsten
1	El-bachir Menai, Mohamed
1	El Ghazi, Aboubakr Achraf
1	Frias, Marcelo Fabiùn
1	Frydman, Claudia
1	Geilmann, Ulrich
1	Gheyi, Rohit
1	Giese, Holger
1	Gopalakrishnan, Ganesh Lalitha
1	Hallé, Sylvain
1	Huth, Michael R. A.
1	Joosten, Sebastiaan J. C.
1	Kirby, Robert M. II
1	Krishnamurthi, Shriram
1	Küster, Jochen Malte
1	Lambers, Leen
1	Li, Guodong
1	Martinez Suñé, Agustín Eloy
1	Massoni, Tiago
1	Meseguer Guaita, José
1	Moscato, Mariano M.
1	Nelson, Tim
1	Porncharoenwase, Sorawee
1	Pradhan, Shekhar
1	Ramakrishnan, C. R.
1	Sasturkar, Amit
1	Schneider, Steve A.
1	Sorensen, Tyler
1	Stoller, Scott D.
1	Taentzer, Gabriele
1	Taghdiri, Mana
1	Treharne, Helen
1	Ulbrich, Mattias
1	Villemaire, Roger
1	Wehrheim, Heike
1	Wickerson, John
1	Winkelmann, Jessica
1	Yang, Ping

all top 5

2	Formal Aspects of Computing
1	Discrete Applied Mathematics
1	Theoretical Computer Science
1	Science of Computer Programming
1	Journal of Computer Science and Technology
1	Journal of Automated Reasoning
1	Theory and Practice of Logic Programming
1	Journal of Logical and Algebraic Methods in Programming

23	Computer science (68-XX)
3	Mathematical logic and foundations (03-XX)