3 ms·
There was a fantastic talk at strangeloop this year on Alloy: https://www.youtube.com/watch?v=FvNRlE4E9QQ https://www.youtube.com/watch?v=FvNRlE4E9QQ. The speak
by hwayne 7y ago
There was a fantastic talk at strangeloop this year on Alloy: https://www.youtube.com/watch?v=FvNRlE4E9QQ https://www.youtube.com/watch?v=FvNRlE4E9QQ. The speaker used it to find a serious security bug in their live code and a feature interaction bug in their UI that had meant they had been writing broken code for the past _year_.
(full disclosure I'm referenced towards the end)
- timClicks 7y agoI watched that earlier this week, and have been making my way through the Software Abstractions book by Jackson. Alloy's still in the "this thing makes me feel stupid" territory, but it does feel learn-able to me. I really like the emphasis on iterative development.
- RBerenguel 7y agoI found Jackson’s book excellent, one of the most readable books with the depth the book had.