You will require the following textbook for this course:

• Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010.
• The above course kit is based on the forthcoming text Modeling in Event-B.
• First two chapters of the forthcoming text (also in the course kit)
• See slides and other resources at Event-B documentation.

You may purchase this book through the York University Bookstore.