Artifact for "Incremental Forward Reasoning for White-Box Proof Search"

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Xavier Généreux, Jannis Limperg
DOI: 10.5281/zenodo.18188520
Cited by: 0

Abstract

Artifact for the paper "Incremental Forward Reasoning for White-Box Proof Search", to be published at TACAS 2026.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
9 January 2026
Document type
Dataset