Differences

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

--- lab7 [2016/02/24 14:05] – created franck
+++ lab7 [2020/02/25 19:35] (current) – franck
@@ Line 1: / Line 1: @@
-Consider the following app.
+====== Lab 4 ======
-<html>
-<pre>
+Test the listener gov.nasa.jpf.StackDepthChecker.  Use the JPF framework (TestJPF).  To receive feedback, submit your code **before** March 5 using the submit command:\\
-public class ComputeSquareRoot {
+<code>
-    public static void main(String[] args) {
+submit 4315 lab4 <name of class>.java
-          double data = 3.1415926;
+</code>
-          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.