Integrating SVC and HOL with the PROSPER Toolkit

QR Code

Integrating SVC and HOL with the PROSPER Toolkit

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexam...

Full description

Bibliographic Details
Main Authors:	Stevenson, Alan, Dennis, Louise Abigail
Format:	Conference or Workshop Item
Published:	2000
Online Access:	https://eprints.nottingham.ac.uk/342/

Similar Items

The PROSPER Toolkit
by: Dennis, Louise Abigail, et al.
Published: (2000)

Social integration as catalyst for people's prosperity
by: Ismail, Fadillah, et al.
Published: (2018)

Communications Toolkit
by: Grellier, Jane, et al.
Published: (2018)

Cooperatives for prosperity
by: Mohd. Sulaiman, Aiman @ Nariman, et al.
Published: (2020)

Application of SVC on stabilizing torsional oscillations and improving transient stability
by: Abdou, A., et al.
Published: (2012)

The Social Startup Toolkit
by: Ely, Philip
Published: (2018)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Shared prosperity Vision 2030
by: Wan Salim, Wan Wardatul Amani
Published: (2019)

Malaysian people financial prosperity
by: Ismail, Fadillah, et al.
Published: (2018)

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

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

Bilingual virtual toolkit ‘let’s twist’
by: Nazir, Faridah, et al.
Published: (2018)

Building a ‘toolkit’ for change: evaluation of horse owner behaviour and knowledge transfer in response to an educational campaign
by: Lightfoot, Katie Louise
Published: (2020)

Islam: the alternative way to peace and prosperity
by: Farooqui, Jamil
Published: (2010)

Prospering the mosque with Jom Lepak@Masjid
by: Siti Sarah, Mohamad Rajimi
Published: (2018)

Video streaming evaluation Of H.264 SVC on IEEE 802.11g wireless network
by: Gunawan, Teddy Surya, et al.
Published: (2011)

Statistical Analysis of Video Frame Size Distribution Originating from Scalable Video Codec (SVC)
by: Ahmadpour, Sima, et al.
Published: (2017)

Materiomics: a toolkit for developing new biomaterials
by: Hook, Andrew, et al.
Published: (2015)

A Toolkit for Remote Laboratory Design & Development
by: Lindsay, Euan, et al.
Published: (2011)

A patient safety toolkit for family practices
by: Campbell, Stephen M., et al.
Published: (2018)

Software Toolkit For Designing An Artificial Neural Network.
by: Ahmad, M. A., et al.
Published: (2004)

Overview of open source augmented reality toolkit
by: Mohamad Said, Mohd. Nihra Haruzuan, et al.
Published: (2007)

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)

Computational Intelligence Technique For Static Var Compensation (SVC) Installation Considering Multi-Contingencies (N-m)
by: Mahaletchumi, Morgan, et al.
Published: (2015)

Prospering through innovation: sustainable wealth creation
by: Esam, Asrizam, et al.
Published: (2017)

Citrus for New Year prosperity, luck and abundance
by: Ng, Casey
Published: (2015)

Corporate shared prosperity: scale development and validation
by: Hossain, Mohammad Imtiaz, et al.
Published: (2024)

Multi-objective evolutionary programming for static var compensator (SVC) in power system considering contingencies (N-m)
by: Nor Rul Hasma, Abdullah, et al.
Published: (2017)

Development Of A Simulation Toolkit For Electrical Capacitance Tomography.
by: Hong, J H., et al.
Published: (2004)

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction
by: Dennis, Louise Abigail, et al.
Published: (2000)

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

Does economic prosperity translate to regional youth employment?
by: Dayaram, Kantha, et al.
Published: (2020)

Peace strengthens human prosperity: Islam and world peace
by: Kayadibi, Saim
Published: (2010)

Submission, peace and happiness: heal the soul, prosper the society
by: Abdullah, Fatimah
Published: (2010)

Building a patient safety toolkit for use in general practice
by: Bell, Brian, et al.
Published: (2016)

City enhancement beyond the notion of “sustainable city”: introduction to integrated assessment for city enhancement (iACE) toolkit
by: Cheshmehzangi, Ali
Published: (2016)

When the relatively poor prosper: the Underdog Effect on charitable donations
by: Bradley, Alex, et al.
Published: (2018)

Malaysia-China in the 21st century: Prosperity through cooperation
by: Abu Bakar, Nur Barizah
Published: (2007)