statespace

Learn formal methods by building a tiny checked application language, and learn to say exactly what each proof, model check and test establishes.

The design is complete and the course is being built. Follow along at github.com/praveer13/statespace.