AlloyTools/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
JavaNOASSERTION
Watchers
- ac7ionabl3The Net
- aedile
- akngsSouth Korea
- alcinocunhaHASLab, INESC TEC and Universidade do Minho
- aleksandarmilicevic@cubist-dev
- Ant56aviator
- bonotake@Idein
- christianlavoieSand Reckoning Consulting
- drkostasUniversity of Tennessee, Knoxville
- eemailme
- eskangCarnegie Mellon University
- jhcloos
- lobaornNatal, RN, Brasil
- ometel
- pkriensaQute
- sarashinotokyo
- SeshatCZCzech republic
- sf105Higher Order Logic
- sorawee
- stheno2010Tokyo