January 9, 2018
Formal Method Complete Course
Please visit the following playlists on Youtube to get complete course on formal methods:
Formal methods lecture slides:
Formal methods class presentations:
-
About Author
Osman Khalid
http://osman.pakproject.com
4 Comments
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
I did not follow any specific book, you can visit my playlist in which I have solved many examples:
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)
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.