4 ms·
There's a great talk from StrangeLoop[0] where a presenter uses Alloy modelling in exactly the same manner: - generate a couple examples - see something wrong
by kilotaras 6y ago
There's a great talk from StrangeLoop[0] where a presenter uses Alloy modelling in exactly the same manner:
- generate a couple examples
- see something wrong
- add a rule
- repeat
[0] https://www.youtube.com/watch?v=FvNRlE4E9QQ https://www.youtube.com/watch?v=FvNRlE4E9QQ