Alloy is an open source project maintained by a few key volunteers and a community of researchers. It was originally developed in the Software Design Group at MIT. The most recent version of Alloy is built on the MIT codebase; on the Kodkod engine, built by Emina Torlak in her thesis work at MIT, and now maintained by her as a free-standing model finder; and on a dynamic extension previously called Electrum, developed at ONERA and the University of Minho.

The Alloy board oversees development of Alloy technology and resources, approves language extensions and helps to disseminate Alloy and support users.

Major contributions to earlier versions of Alloy were made by: Felix Chang, Jonathan Edwards, Eunsuk Kang, Joe Near, Robert Seater, Derek Rayside, Greg Dennis, Ilya Shlyakhter, Mana Taghdiri, Mandana Vaziri, Sarfraz Khurshid, and Manu Sridharan.

development team

• David Chemouil
• Peter Kriens
• Nuno Macedo
• Aleksandar Milicevic

alloy board

• Daniel Jackson
• Alcino Cunha
• Aleksandar Milicevic
• Emina Torlak
• Eunsuk Kang
• Pamela Zave

acknowledgements

Alloy is the product of a research project funded by the National Science Foundation under Grant Nos. 0325283, 0541183, 0438897 and 0707612; by the Air Force Research Laboratory (AFRL/IF) and the Disruptive Technology Office (DTO) in the National Intelligence Community Information Assurance Research (NICIAR) Program; and by the Nokia Corporation as part of a collaboration between Nokia Research and MIT CSAIL.