User Tools
pvs:tools:pvsio
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pvs:tools:pvsio [2016/08/25 20:47] jonathan [Ground evaluation] |
pvs:tools:pvsio [2016/09/08 18:17] (current) marina [Ground evaluation] |
||
|---|---|---|---|
| Line 58: | Line 58: | ||
| *'' M-x pvsio'' puts you into the PVSio ground evaluator | *'' M-x pvsio'' puts you into the PVSio ground evaluator | ||
| * At the prompt enter (sqrt_newton(2,3)); which already gives a good approximation to sqrt(2) | * At the prompt enter (sqrt_newton(2,3)); which already gives a good approximation to sqrt(2) | ||
| - | * Enter: println(sqrt_newton2(2,10)); | + | * Enter: println(sqrt_newton(2,10)); |
| - | * Prove the Conjecture using (eval-formula) | + | * Prove the Conjecture using ''(eval-formula)'' |
pvs/tools/pvsio.1472158038.txt.gz · Last modified: 2016/08/25 20:47 by jonathan
Page Tools
