2 ms·
I was exposed to alloy by this wonderful video: "Finding bugs without running or even looking at code" by Jay Parlar https://www.youtube.com/watch?v=FvNRlE4E9
by ParetoOptimal 4y ago
I was exposed to alloy by this wonderful video:
"Finding bugs without running or even looking at code" by Jay Parlar
https://www.youtube.com/watch?v=FvNRlE4E9QQ https://www.youtube.com/watch?v=FvNRlE4E9QQ
I believe the general idea could be applicable in practice for core parts of most businesses software. So now I'm very interested in real world accounts of using alloy like this.
Anyone have other posts like this one or experiences to share along these lines?
- rsrsrs86 4y agoI use Alloy extensively both to iterate designs very quickly and to communicate concepts to my team. My company is a SaaS for cap table management. I use it to formalize the core business logic as well as testing designs on non core features, like an account management system for example.