PickVids"Finding bugs without running or even looking at code" by Jay Parlar
Why it was recommended
There is a talk that gives a good overview on Alloy and how useful using something like this is
Recommendation_andrei_ · Original
What it covers
Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through. It is for someone who already knows the basic terms and wants the next step.
Video details
- Channel
- Strange Loop Conference
- Length
- 40 min 27 sec
- Year
- 2019