project1
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
project1 [2019/01/24 17:07] – 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 17: | Line 17: | ||
* Print the state space of 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 28: | Line 28: | ||
</ | </ | ||
- | The JPF plugin for eclipse seems not to work for the latest version of eclipse. | ||
project1.1548349650.txt.gz · Last modified: 2019/01/24 17:07 by franck