Enhancing theorem prover interfaces with program slice information

DOI10.1016/J.ENTCS.2006.09.019zbMATH Open1278.68256OpenAlexW1969646064MaRDI QIDQ2867933FDOQ2867933

Authors: Louise A. Dennis 

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.019

Recommendations

• scientific article; zbMATH DE number 1870455
• An approach to the extension of a theorem prover by advanced structuring mechanisms.
• Proof-directed debugging
• Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
• Functional design and implementation of graphical user interfaces for theorem provers

zbMATH Keywords

verificationprogram slicingproof-directed debugging

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Program Slicing
• Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
• Proof-directed debugging
• Source-Based Trace Exploration

Uses Software

• Isabelle/HOL
• IsaPlanner
• Isar
• Proof General
• Hat
• Lambda-Clam

This page was built for publication: Enhancing theorem prover interfaces with program slice information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867933)