About me I've been a computer programmer since I first started typing in program listings on a Commodore Vic 20 when I was about 8. My hobbies include electronics, CNC manufacturing, photography, beer and winemaking.
I live with my wife and lots of left-over parts from unfinished projects in Lincoln, Nebraska, USA.]
Blog
5 August 2015, 13:13 UTCProven Delights (and what are proofs anyway)
I won a copy of the book Hacker's
Delight from John Regehr for my entry in
his nibble sort contest
earlier this year.
In that thread I had heard about the CBMC Bounded Model Checking software, and it gave me the idea to combine
the two: a project to take implementations of the algorithms from Hacker's
Delight and prove the algorithms' properties with CBMC.
I have a modest start on github, which I am calling "Proven Delights":
Proven Delights (and what are proofs anyway)
I won a copy of the book Hacker's Delight from John Regehr for my entry in his nibble sort contest earlier this year.
In that thread I had heard about the CBMC Bounded Model Checking software, and it gave me the idea to combine the two: a project to take implementations of the algorithms from Hacker's Delight and prove the algorithms' properties with CBMC.
I have a modest start on github, which I am calling "Proven Delights":
All older entries
Website Copyright © 2004-2024 Jeff Epler