[tonetegeatinst]

Wish the author had an introduction to model checker article.

I have yet to learn about this and will not be throwing some time into researching this topic.

[ofrzeta]

I don't know if this counts as "research" but this research might be helpful https://www.learntla.com/

[throwaway81523]

I haven't used Alloy (alloytools.org) but it looks interesting and there are good docs. Did you mean "now" instead of "not"?