Verification of Embedded Systems

Verification of Embedded Systems
  • Slides of this lecture
  • Nielson, Nielson, Hankin: Principles of Programming Analysis, Springer 2004.
  • More reference literature is going to be recommended in the course