![]() |
Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.1/development/alloy/ |
|
Contents of README:Alloy is a lightweight modelling language for software design. It is amenable to a fully automatic analysis, using the Alloy Analyzer, and provides a visualizer for making sense of solutions and counterexamples it finds. |
Name Last modified Size
Parent Directory -
README 26-Nov-2013 10:57 221
alloy.SlackBuild 05-May-2014 03:30 2.7K
alloy.desktop 26-Nov-2013 10:57 194
alloy.info 05-May-2014 03:30 271
alloy.png 12-Oct-2011 00:00 6.2K
doinst.sh 26-Nov-2013 10:57 129
slack-desc 26-Nov-2013 10:57 829
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!