Read the notes. Install Java PathFinder (JPF), either on your own machine or in your EECS account. Create the HelloWorld example. Run JPF on the example, both from the command line and from either Eclipse or NetBeans. If you use your own machine, bring it to the lab on Thursday for the Quiz.

Bonus marks: for each mistake in the notes that is first reported by email before Saturday January 16, you receive 0.1 bonus mark, up to a maximum of 1.5 in total. (The ?? following Chapter and Section are references to chapters and sections that have not yet been written.)