Program Verification Using the Spec# Programming System
Program Verification Using the Spec# Programming System. ETAPS Tutorial K. Rustan M. Leino, Microsoft Research, Redmond Rosemary Monahan, NUIM Maynooth & LERO 29 March 2008. Introducing Spec#. Spec#: An Overview Installing Spec# Using Spec# . Spec#: An Overview.
1.48k views • 127 slides