no way to compare when less than two revisions

Differences

This shows you the differences between two versions of the page.

@@ Line 1: / Line 1: @@
+Consider the following app.
+<html>
+<pre>
+public class ComputeSquareRoot {
+    public static void main(String[] args) {
+          double data = 3.1415926;
+          System.out.println("The square root of " + data + " is " + StrictMath.sqrt(data));
+    }
+}
+</pre>
+</html>
+  - Develop a model class so that the above app can be verified with JPF.  [[https://en.wikipedia.org/wiki/Methods_of_computing_square_roots|This]] Wikipedia page might be helpful.
+  - Develop a native peer so that the above app can be verified with JPF.