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