Rippling in PVS

QR Code

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...

Full description

Bibliographic Details
Main Authors:	Adams, Andrew A., Dennis, Louise Abigail
Other Authors:	Archer, Myla
Format:	Conference or Workshop Item
Published:	2003
Online Access:	https://eprints.nottingham.ac.uk/320/

Similar Items

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
by: Dennis, Louise Abigail, et al.
Published: (2001)

Mapping from OCL/UML metamodel to PVS metamodel
by: L.A., Rahim
Published: (2008)

An approach for current balancing in distribution networks with rooftop PVs
by: Shahnia, Farhad, et al.
Published: (2012)

Dr Mahathir creating ripples
by: Mohd Sani, Azizuddin
Published: (2019)

Ripple Mark Styles in the Belait Formation
by: Padmanabhan, E., et al.
Published: (2010)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

The Consequences of the SOX Ripple Effect on the UK
by: Bovey, Richard
Published: (2006)

Sensitivity analysis of voltage imbalance in distribution networks with rooftop PVs
by: Shahnia, Farhad, et al.
Published: (2010)

The ripple effect of residential property price in Malaysia
by: Ibrahim, Khairunisah, et al.
Published: (2019)

Ripple compensation for a class-D amplifier
by: Cox, Stephen M., et al.
Published: (2015)

Moving average filter for ripple current elmination
by: Siti Intansyafinaz, Abdul Kadir
Published: (2012)

An eduction model of disciplinary emergence: the ripples of knowledge management
by: Dulipovici, A., et al.
Published: (2015)

Improving the penetration level of PVs using DC link for residential buildings
by: Mokhtari, G., et al.
Published: (2014)

Voltage unbalance reduction in low voltage distribution networks with Rooftop PVs
by: Shahnia, Farhad, et al.
Published: (2010)

Cryopreservation of Brassia rex Orchid Shoots Using PVS2 Technique
by: Johari, N., et al.
Published: (2009)

Voltage imbalance analysis in residential low voltage distribution networks with rooftop PVs
by: Shahnia, Farhad, et al.
Published: (2011)

Analysts recommendation: a ripple effect that does not last
by: Tan, Jason, et al.
Published: (2012)

Graphene edge structures: Folding, scrolling, tubing, rippling and twisting
by: Ivanovskaya, V., et al.
Published: (2011)

Contributions of Single–Phase Rooftop PVs on Short Circuits Faults in Residential Feeders
by: Yengejeh, H., et al.
Published: (2014)

Cryopreservation Of Ascocenda Wangsa Gold Orchid Using Pvs2 Vitrification Method
by: Rajasegar, Arulvilee
Published: (2015)

Decentralized voltage support in a low voltage feeder by droop based voltage controlled PVs
by: Shahnia, Farhad, et al.
Published: (2013)

Voltage correction in low voltage distribution networks with rooftop PVs using custom power devices
by: Shahnia, Farhad, et al.
Published: (2011)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

The NumbersWithNames Program
by: Colton, Simon, et al.
Published: (2002)

System Description: Embedding Verification into Microsoft Excel
by: Collins, Graham, et al.
Published: (2000)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

Stochastic analysis results for coordination of single-phase rooftop PVs in unbalanced residential feeders
by: Safitri, N., et al.
Published: (2016)

Coordination of single-phase rooftop PVs to regulate voltage profiles of unbalanced residential feeders
by: Safitri, N., et al.
Published: (2014)

Disconnection of single-phase rooftop PVs after short-circuit faults in residential feeders
by: Hosseinian Yengejeh, H., et al.
Published: (2016)

Optimisation of cryopreservation technique in Mokara golden nugget orchid using PVS2 vitrification.
by: Safrinah, R, et al.
Published: (2009)

A hybrid power converter with enhanced switching ripple cancellation
by: Papadopoulos, Savvas
Published: (2017)

Battery impedance measurement using sinusoidal ripple current emulator
by: Hossain, M., et al.
Published: (2017)

Ripple voltage and its elimination in low voltage power supply
by: Torla, Ahmad Lutfi, et al.
Published: (2012)

DTC Torque Ripple Minimization Based on PSO-PID Controller
by: Rashag, Hassan Farhan, et al.
Published: (2012)

House price changes, ripple effect and bank stability in Malaysia
by: Kok, Shiau Hui
Published: (2018)

Torque ripple reduction in direct torque control of induction motor drives
by: Toh, C.L, et al.
Published: (2003)