Alloy
by earl, 6779 days ago
A model language and analyzer using "a simple structural modeling language based on first-order logic".- http://alloy.mit.edu/
search
34 active users
- unknown (34)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
