Developing and Debugging Proof Strategies by Tinkering
Abstract elided by the publisher.
Related papers
- Biological realms in computer science Onward! 2011
- Navigating AND-OR Graph Modifications to Debug Failing Proof Search PLDI 2026
- Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy TOPLAS 2020
- A Framework for Debugging Automated Program Verification Proofs via Proof Actions CAV 2024
- Educational Pearl: 'Proof-directed debugging' revisited for a first-order version JFP 2006
- Proof-Directed Debugging JFP 1999
- Sindarin: a versatile scripting API for the Pharo debugger DLS 2019
- ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends CAV 2021