Rippling in PVS
Rippling is a method of controlling rewriting of the terms in an induction step of an inductive proof, to ensure that a position is reached whereby the induction hypothesis can be applied. Rippling was developed primarily by the Mathematical Reasoning Group at the University of Edinburgh. The prima...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2003
|
| Online Access: | http://eprints.nottingham.ac.uk/320/ http://eprints.nottingham.ac.uk/320/1/pvsripple.ps |