Hacker News Reader

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.

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

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