Re:Dramatically Reducing Software Vulnerabilities [pdf]
by joshmarlow on Wednesday October 05, 2016 @10:16AM
(#12643973)
I'm about to start reading "The Little Prover" (https://mitpress.mit.edu/books/little-prover) which sounds like a good intro.
[ Parent
| on HN ]
Re:Dramatically Reducing Software Vulnerabilities [pdf]
by nickpsecurity on Wednesday October 05, 2016 @01:59PM
(#12646171)
The Amazon reviews on it look good. I like how it's very incremental and more manual than modern provers. The latter being advantages as the beginner will have a glimpse of what they're doing or why. I might order a copy.