Week 3; Introduction to Formal Methods

First three chapters of the textbook page (3 to 25) that explains the definitions of Formal Methods, why we use it, and usage of Formal Mehtods.