Web IDE introduction Dr. Holly's Introductory Reasoning Videos Dr. Jeff Carver's Formal Methods Teaching Slides (zip) Lana's Specification Tutor Driver's Education and Formal Interface Specifications (pdf) Verified Software Components (pdf) For more information or additional resources, send an email to Murali Sitaraman.
Reasoning Concept Inventory Teaching Tool for Specification Understanding Verification Condition Generation and Proving
SIGCSE 2012 Making Mathematical Reasoning Fun Workshop SIGCSE 2012 Mathematical Reasoning Panel Clemson 2011 Mathematical Reasoning Workshop SIGCSE 2011 Making Mathematical Reasoning Fun Workshop Denison 2010 Mathematical Reasoning Workshop
University of Alabama Cleveland State University Denison University Indiana University Southeast Ramapo College VT Northern Virginia Campus Western Carolina University