There is a talk that gives a good overview on Alloy and how useful using something like this is: "Finding bugs without running or even looking at code" by Jay

There is a talk that gives a good overview on Alloy and how useful using something like this is: "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