Book details
Software Foundations Vol 5: Verifiable C
Categories Software engineering , C
A formal methods text on verifying C programs with the Verifiable C framework in Coq. It develops program specifications and proofs for C code, connecting separation logic reasoning with machine-checked verification.
