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