CS 340: Modeling for Computer Systems

Professor: Alexa VanHattum

Lecture: Monday and Thursday, 9:55 AM - 11:10 AM

Workshop: Wednesday, 9:30 AM - 10:20 AM

Where: Science Center Hub 401

Office hours: If you cannot make the times below, I can meet by Calendly appointment.

This course focuses on modeling and specifying computer systems. Students will learn how to reason about the properties and expected behavior of modern software. Topics include designing specifications, property-based testing, model checking, and satisfiability solvers.

Attribution & Acknowledgments

This course draws on course material from Tim Nelson's Logic for Systems at Brown University. Assignment exercises are in some cases adapted from Daniel Jackson's Software Abstractions: Logic, Language, and Analysis. This website uses Zola and some configuration from Adrian Sampson's Advanced Programming Languages at Cornell University.