lab8
This is an old revision of the document!
Lab 8
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.
lab8.1488466854.txt.gz · Last modified: 2017/03/02 15:00 by franck