Title resolution pending

Adrien Champion, Tomoya Chiba, Naoki Kobayashi & Ryosuke Sato ( · 2020 · Journal of Automated Reasoning · DOI 10.1007/s10817-020-09571-y

1 Pith paper cite this work, alongside 28 external citations. Polarity classification is still indexing.

1 Pith paper citing it

28 external citations · OpenAlex

open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

CHC-based Automated Verification of WebAssembly Programs

cs.PL · 2026-07-19 · conditional · novelty 6.0

WebAssembly programs are translated to constrained Horn clauses so existing solvers can prove or disprove the reachability of crash instructions.

citing papers explorer

Showing 1 of 1 citing paper.

CHC-based Automated Verification of WebAssembly Programs cs.PL · 2026-07-19 · conditional · none · ref 4
WebAssembly programs are translated to constrained Horn clauses so existing solvers can prove or disprove the reachability of crash instructions.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer