lab8
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
lab8 [2017/03/02 15:00] – franck | lab8 [2017/03/03 15:55] – franck | ||
---|---|---|---|
Line 16: | Line 16: | ||
- Develop a model class so that the above app can be verified with JPF. [[https:// | - Develop a model class so that the above app can be verified with JPF. [[https:// | ||
- 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> | ||
lab8.txt · Last modified: 2017/03/03 15:55 by franck