IsaAbduct: A Multi-Strategy Abduction Pipeline for Isabelle/HOL

Campos, Tiago; Tourret, Sophie; Jasmin Blanchette; Barbosa, Haniel

doi:10.34727/2026/isbn.978-3-85448-093-8_19

Record link:

http://hdl.handle.net/20.500.12708/230475
https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_19

Title:

IsaAbduct: A Multi-Strategy Abduction Pipeline for Isabelle/HOL

Citation:

Campos, T., Tourret, S., Jasmin Blanchette, & Barbosa, H. (2026). IsaAbduct: A Multi-Strategy Abduction Pipeline for Isabelle/HOL. In B. Dutertre & B. Könighofer (Eds.), Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 (pp. 135–146). TU Wien Academic Press. https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_19

reposiTUm DOI:

10.34727/2026/isbn.978-3-85448-093-8_19

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Campos, Tiago
Tourret, Sophie
Jasmin Blanchette
Barbosa, Haniel

Editors:

Dutertre, Bruno
Könighofer, Bettina

Organisational Unit:

E000 - Technische Universität Wien