Hacker News new | ask | show | jobs
by aurelius 4347 days ago
Yes, that is <i>another</i> issue with model checkers. Either way, your original comment is still nonsense.
1 comments
sseveran 4346 days ago
No. No it is not. See the Amazon paper if you want an overview.
link