4 ms·
Ask HN: Book recommendation for math behind formal verification in software?
I'm very interested in that field, unfortunately, the math part pretty much escapes me.
The long term goal is to be able to use Coq or Isabelle to prove some small piece of software.
- swampcreature 8y agoFundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser Link: https://books.google.com/books/about/Fundamental_Proof_Methods_in_Computer_Sc.html?id=MovGDgAAQBAJ&printsec=frontcover&source=kp_read_button#v=onepage&q&f=false https://books.google.com/books/about/Fundamental_Proof_Metho...
- TheAsprngHacker 8y agoSoftware Foundations: https://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu