lab2
This is an old revision of the document!
Read the notes. Install Java PathFinder (JPF), either on your own machine or in the EECS account. Create the HelloWorld example. Run JPF on the example, both from the command line and from either Eclipse or NetBeans.
Bonus marks: for each mistake in the notes that first reported by email, you receive 0.1 bonus mark, up to a maximum of 1.5 in total.
lab2.1452652937.txt.gz · Last modified: 2016/01/13 02:42 by franck