A talk about model checker Alloy. Its an introductory talk to people with not prior knowledge "Finding bugs without running or even looking at code" by Jay Parlar https://www.youtube.com/watch?v=FvNRlE4E9QQ