skip to content

EECS4315

User Tools

Log In

Site Tools

Recent Changes
Media Manager
Sitemap

You are here: Mission Critical Systems » lab2

Trace:

lab2

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

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.)

lab2.txt · Last modified: 2016/01/13 17:13 by franck

Page Tools

Show page
Old revisions
Backlinks
Back to top