1
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
Philip Zucker
A blog about life, programming, math, logic, and physics.
- Popular posts
- 7
- Total points
- 931
- HN comments
- 361
- Rank
- #2,391 personal
Visit philipzucker.com → RSS feedOn Hacker News Jun 2019 – Nov 2024
Software Engineering 6Math & Algorithms 5Security & Privacy 1Programming Languages 1Databases & Data 1