The PROSPER Toolkit

QR Code

The PROSPER Toolkit

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be...

Full description

Bibliographic Details
Main Authors:	Dennis, Louise Abigail, Collins, Graham, Norrish, Michael, Boulton, Richard, Slind, Konrad, Robinson, Graham, Gordon, Mike, Melham, Tom
Other Authors:	Graf, Suzanne
Format:	Conference or Workshop Item
Published:	Springer 2000
Online Access:	https://eprints.nottingham.ac.uk/341/

Similar Items

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

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

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

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

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

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

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

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

A patient safety toolkit for family practices
by: Campbell, Stephen M., 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)

My-Peer Toolkit [1.0]: Developing an online resource for planning and evaluating peer-based youth programs
by: Hildebrand, Janina, et al.
Published: (2012)

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)

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

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)

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)

China’s soft power conundrum, film coproduction, and visions of shared prosperity
by: Peng, W., et al.
Published: (2019)

My-Peer Toolkit 1.0: Guidelines for planning, implementing and evaluating peer-based youth programs.
by: Hallett, Jonathan, 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)

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)

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

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)

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)

Kapitalizm refah getirir mi? (Does capitalism bring prosperity?)
by: Kayadibi, Saim
Published: (2012)

Balancing people, place and prosperity: lessons from Western Australia
by: Brueckner, Martin
Published: (2009)

LEAD model of safety culture: introducing the model and toolkit for frontline supervisors
by: Griffin, Mark
Published: (2019)

Changing the news: A media engagement toolkit for Aboriginal health professionals
by: Leach, V., et al.
Published: (2013)

Economic Evaluation of Tourism for Natural Areas: Development of a Toolkit Approach
by: Wood, David, et al.
Published: (2006)

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)