Specification Languages

I have not had any instruction in formal methods, so I really didn’t encounter specification languages in my coursework, but I have read papers on proving programs including some classic papers by Hoare and Djikstra, and was familiar with Eiffel contracts. At Harvard, I audited the first couple lectures of

---

Read more » Feb 8, 2009, 5:19PM