January 9, 2018 HomeFormal MethodsFormal Method Complete Course Formal Method Complete Course By Osman Khalid Formal Methods 4 Comments Please visit the following playlists on Youtube to get complete course on formal methods: Formal methods lecture slides: Formal methods class presentations: Post Views: 850 - About Author Osman Khalid http://osman.pakproject.com 4 Comments M Nadeem Sir kindly please tell me the name of book for the practice of examples which are given in the lecture notes as well as for the preparation May 21, 2018 Reply Osman Khalid I did not follow any specific book, you can visit my playlist in which I have solved many examples: May 21, 2018 Reply M Nadeem Sorry to say sir but in notes 10 at (1:24) you have write ( for related readings : textbook Foreword , preface, page 1-6 ) that’s why i was asking about the book .Something like this is also written in other slides ( in other notes) May 23, 2018 Reply Osman Khalid If you want, you can consult “Model Checking” by Edmund Clark. Its soft copy is available online for download. I can’t send in email due to size. May 23, 2018 Reply Add a Comment Cancel reply Your email address will not be published. Required fields are marked *Comment:*Name:* Email Address:* Website: Notify me of follow-up comments by email. Notify me of new posts by email.