Ask HN: Book recommendation for math behind formal verification in software?

3 pointsby m3mpp8년 전2 comments

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.

2 comments

swampcreature8년 전

Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser

Link:

https://books.google.com/books/about/Fundamental_Proof_Metho...

TheAsprngHacker8년 전

Software Foundations: https://softwarefoundations.cis.upenn.edu