This is the first of three courses that will introduce students to contemporary mediums, methods and theories of how digital tools impact basic concepts of architectural representation and experience.

This course introduces the basic concepts of functional verification and model checking, highlighting their importance in modern system designs. It explains different modeling formalisms for ...