News for hackers. Stuff that matters.

A comment on The Hitchhiker's Guide to Logical Verification [pdf]. Parent comment

Re:The Hitchhiker's Guide to Logical Verification [pdf] by nickpsecurity on Tuesday July 30, 2024 @05:29PM (#41114326)
Building High Integrity Applications with SPARK

https://www.amazon.com/Building-High-Integrity-Applications-...

That will be more practical than most works on formal verification.

[ Parent | on HN ]
Re:The Hitchhiker's Guide to Logical Verification [pdf] by LiamPowell on Wednesday July 31, 2024 @01:09AM (#41116538)
Also: https://www.adacore.com/books/implementation-guidance-spark
[ Parent | on HN ]