---

CSCI P515 - Specification & Verification

Spring 2023

• Instructor: Daniel Leivant (leivant)
• Sections: 12768

Spring 2022

• Instructor: Daniel Leivant (leivant)
• Sections: 30917

Spring 2019

• Instructor: Sam Tobin-Hochstadt (samth)
• Sections: 33070

Spring 2014

• Instructor: Daniel Leivant (leivant)
• Sections: 29371,33346
• Supplementary Description: P515 combines introductions to three areas: formal logic, specification and verification of imperative programs, and specification of system behaviour. Students registered to the course under the P415 listing would be dispensed of some of the more challenging projects and exam questions, but otherwise the course will be run at the graduate level.
• Homepage: https://homes.luddy.indiana.edu/classes/spring2014/csci/p515-leivant
• Ad/Syllabus: https://homes.luddy.indiana.edu/classes/spring2014/csci/p515-leivant/advertisement.html

Spring 2012

• Instructor: Steve Johnson (sjohnson)
• Sections: 26468
• Homepage: https://homes.luddy.indiana.edu/classes/spring2012/csci/p515-sjohnson

Spring 2011

• Instructor: Steve Johnson (sjohnson)
• Sections: 28198
• Homepage: https://homes.luddy.indiana.edu/classes/spring2011/csci/p515-sjohnson