Can I read CIS 623: Formal Methods in Programming on EtoBox?

CIS 623: Formal Methods in Programming by Sudersana Viswanathan is a document available to read on EtoBox.

What is CIS 623: Formal Methods in Programming about?

CIS 623 is a course on assured programming with formal methods, taught by Prof. Andrew C. Lee in Spring 2025. The course focuses on reasoning about programs and secure systems, with an emphasis on functional programming, software development practices, and security policies. Assessment includes coursework, quizzes, a midterm, and a final exam, with strict academic integrity policies in place.

Author

Sudersana Viswanathan

Language

EN