3 ms·
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.
by tonetegeatinst 1y ago
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.
- throwaway81523 1y agoI haven't used Alloy (alloytools.org) but it looks interesting and there are good docs. Did you mean "now" instead of "not"?
- ofrzeta 1y agoI don't know if this counts as "research" but this research might be helpful https://www.learntla.com/ https://www.learntla.com/