Documents Formal Specifications on Industrial Strength Code: From Myth to Reality Manuvir Das Principal...

Slide 1Formal Specifications on Industrial Strength Code: From Myth to Reality Manuvir Das Principal Researcher Center for Software Excellence Microsoft Corporation Slide…

Documents The SAL Language Manual

CSL Technical Report SRI-CSL-01-02 (Rev. 2) • August, 2003 The SAL Language Manual Leonardo de Moura Sam Owre N. Shankar This report was developed and is maintained by…