lab7
no way to compare when less than two revisions
Differences
This shows you the differences between two versions of the page.
— | lab7 [2016/02/24 14:05] (current) – created franck | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | Consider the following app. | ||
+ | < | ||
+ | <pre> | ||
+ | public class ComputeSquareRoot { | ||
+ | public static void main(String[] args) { | ||
+ | double data = 3.1415926; | ||
+ | System.out.println(" | ||
+ | } | ||
+ | } | ||
+ | </ | ||
+ | </ | ||
+ | |||
+ | - 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. | ||
lab7.txt · Last modified: 2016/02/24 14:05 by franck