lab7
Consider the following app.
<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>
- Develop a model class so that the above app can be verified with JPF. This Wikipedia page might be helpful.
- 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