3 ms·YouTube: “Finding bugs without running or even looking at code” by Jay Parlar2 points by keanzu 7y agokeanzu 7y agohttp://alloytools.org/ http://alloytools.org/