Methods and Formal Models in Computer Science

Instructor: Nachum Dershowitz

Time: Tuesdays, 13-16


This course is a continuation of "Computational Models".

It covers many topics essential to an understanding of programming languages and software verification.

Students helped write up the class notes.
 

Look here for the final exam!

Outline

  • Part I: Languages
    1. Operational semantics
    2. Declarative semantics
    3. Denotational semantics
  • Part II: Automata
    1. Infinite words (omitted)
    2. Concurrency