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