Alternatives
Members may post updates or alternatives to this current article in order to show different
approaches or add new features.
No alternatives have been posted.
Code is math. Michael writes about techniques for using mathematics to prove the correctness of code at http://qedcode.com. He also maintains two open-source projects that let you write verifiable user interface code (Update Controls) and collaborative applications (Correspondence).