project1
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
project1 [2017/01/21 15:14] – created franck | project1 [2020/01/19 19:59] (current) – franck | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | Install JPF on your laptop. | + | ====== Part 1 of Project ====== |
+ | |||
+ | Install JPF on your laptop. | ||
+ | |||
+ | * Create the app | ||
+ | <code java> | ||
+ | package lab; | ||
+ | |||
+ | public class HelloWorld { | ||
+ | public static void main(String[] args) { | ||
+ | System.out.println(" | ||
+ | } | ||
+ | } | ||
+ | </ | ||
+ | * Run JPF on this app. | ||
+ | * Run JPF on the HelloWorld class of the default package. | ||
+ | * Print the state space of the created app. | ||
+ | |||
+ | 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. | ||
+ | <code java> | ||
+ | public class Version { | ||
+ | public static void main(String[] args) { | ||
+ | System.out.println(System.getProperty(" | ||
+ | } | ||
+ | } | ||
+ | </ | ||
+ | |||
+ |
project1.1485011645.txt.gz · Last modified: 2017/01/21 15:14 by franck