3 ms·Alloy and an Adventure with Database Concurrency4 points by lelf 6y agomvh 6y agoAlloy is awesome to model with but the results can be kind of hard to interpret. Luckily it has a great user group which responds to emails quickly with advice. Cheers!