EECS4315

User Tools

Site Tools

You are here: Mission Critical Systems » Lab 8
Trace:
lab8

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
lab8 [2017/03/02 15:00] – francklab8 [2017/03/03 15:55] (current) – franck
Line 16: Line 16:
   - Develop a model class so that the above app can be verified with JPF.  [[https://en.wikipedia.org/wiki/Methods_of_computing_square_roots|This]] Wikipedia page might be helpful.   - Develop a model class so that the above app can be verified with JPF.  [[https://en.wikipedia.org/wiki/Methods_of_computing_square_roots|This]] Wikipedia page might be helpful.
   - Develop a native peer so that the above app can be verified with JPF.   - Develop a native peer so that the above app can be verified with JPF.
 +
 +To receive feedback, submit your code using the submit command before Tuesday March 7:\\
 +submit 4315 lab8 <name of class>.java 
  
lab8.txt · Last modified: 2017/03/03 15:55 by franck