Title: Lectures on Formal Methods and Performance Analysis