Report this document Introduction to Embedded Systems - Chess · PDF file 1 Introduction to Embedded Systems Chapter 15: Reachability Analysis and Model Checking Sanjit A. Seshia UC Berkeley EECS 149/249A.