Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

From Bugs to Proofs

An introduction to software tools and formal reasoning for programs that are correct by construction.

Developed by the students and instructor of CPSC 570 — From Bugs to Proofs, Chapman University, Spring 2026.

Introduction
About this book