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.
Ask HN: Book recommendation for math behind formal verification in software?
1–3 of 3 posts
Re: Ask HN: Book recommendation for math behind formal verification in software?
#2Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser
Link:
https://books.google.com/books/about/Fundamental_Proof_Metho...
Re: Ask HN: Book recommendation for math behind formal verification in software?
#3Software Foundations: https://softwarefoundations.cis.upenn.edu