Philip Zucker personal blog
The C bounded model checker: criminally underused
Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb
- Points
- 209
- HN comments
- 125
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSecurity & Privacy2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 30, 2024 | The C bounded model checker: criminally underused by philzook | 209 | 125 |
