project1
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
project1 [2017/01/21 15:14] – created franck | project1 [2017/01/23 15:45] – franck | ||
---|---|---|---|
Line 1: | Line 1: | ||
Install JPF on your laptop. | Install JPF on your laptop. | ||
+ | |||
+ | * Create the app | ||
+ | < | ||
+ | package lab; | ||
+ | |||
+ | public class HelloWorld | ||
+ | { | ||
+ | public static void main(String[] args) | ||
+ | { | ||
+ | System.out.println(" | ||
+ | } | ||
+ | } | ||
+ | [/code] | ||
+ | * Run JPF on this app. | ||
+ | * Run JPF on the HelloWorld class of the default package. | ||
+ | * Print the state space the created app. | ||
+ | |||
+ |
project1.txt · Last modified: 2017/01/30 13:52 by franck