Adam Langley personal blog
A shallow survey of formal methods for C code
Two interesting things in formally verified software happened recently. The big one was the release of SeL4 - a formally verified L4 microkernel. The second was much smaller, but closer to my usual scope: a paper which showed the correctness of sections of a couple of the assembly implementations of Curve25519.
- Points
- 128
- HN comments
- 16
- Submissions
- 1
- Cited by
- 3 commenters
Software EngineeringSecurity & Privacy2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 8, 2014 | A shallow survey of formal methods for C code by zdw | 128 | 16 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Dec 2014 to Jan 2021.
Most recent:
- indolering · Jan 5, 2021
- JoachimSchipper · Jan 10, 2016
- bradleyjg · Dec 29, 2014
