3 ms·
Alloy is great for exploring possible shapes of data given specific operations. Most people who use TLA+ also seem to fire up Alloy once and awhile…
by erichocean 5y ago
Alloy is great for exploring possible shapes of data given specific operations.
Most people who use TLA+ also seem to fire up Alloy once and awhile…