Abstract

Today’s lecture

  • More examples
  • Preventing deadlocks
  • Using abstraction
  • Building a program verifier