Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B

Laura I. Meikle, Jacques D. Fleuriot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present Prover’s Palette, a general framework for formal verification using multiple tools, centred around the user. We illustrate the framework by describing a concrete integration of the theorem prover Isabelle with the computer algebra system QEPCAD-B.
Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
EditorsAarti Gupta, Sharad Malik
PublisherSpringer Berlin Heidelberg
Pages309-313
Number of pages5
Volume5123
ISBN (Electronic)978-3-540-70545-1
ISBN (Print)978-3-540-70543-7
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Fingerprint

Dive into the research topics of 'Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B'. Together they form a unique fingerprint.

Cite this