project1
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
project1 [2019/01/15 18:01] – franck | project1 [2020/01/19 19:59] (current) – franck | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Part 1 of Project ====== | ====== Part 1 of Project ====== | ||
- | Install JPF on your laptop. | + | Install JPF on your laptop. |
* Create the app | * Create the app | ||
Line 15: | Line 15: | ||
* Run JPF on this app. | * Run JPF on this app. | ||
* Run JPF on the HelloWorld class of the default package. | * Run JPF on the HelloWorld class of the default package. | ||
- | * Print the state space the created app. | + | * Print the state space of the created app. |
- | Note: it seems that the version of Java is important (see [[https:// | + | Note: it seems that the version of Java is important (see [[https:// |
To determine which version of Java is used by eclipse, you can run the following app in eclipse. | To determine which version of Java is used by eclipse, you can run the following app in eclipse. | ||
Line 27: | Line 27: | ||
} | } | ||
</ | </ | ||
+ | |||
project1.1547575261.txt.gz · Last modified: 2019/01/15 18:01 by franck