Lecture 01 Introduction to Software Engineering
Model Checking for Embedded Systems Edmund Clarke, CMU High-Confidence Embedded Systems Workshop, May 1 st.
Ch 1: The Nature of Software Ch 2: Software Engineering Ch 1: The Nature of Software Ch 2: Software Engineering Moonzoo Kim CS Dept. KAIST 1.