NICTA company blog
World’s first formal machine-checked proof of a kernel
The original page did not respond normally when we last checked (HTTP 403). The archived copy may help.
- Points
- 58
- HN comments
- 29
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSecurity & Privacy2009
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 13, 2009 | World’s first formal machine-checked proof of a kernel by cromulent | 58 | 29 |
