Comment on Reproducing the AWS Outage Race Condition with a Model CheckerComments−tonetegeatinst10moWish 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.−ofrzeta10moI don't know if this counts as "research" but this research might be helpful https://www.learntla.com/−throwaway8152310moI haven't used Alloy (alloytools.org) but it looks interesting and there are good docs. Did you mean "now" instead of "not"?
Comments
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"?