A sound and complete prophecy-based reduction of message-passing program verification to CHC satisfiability is proposed, with a prototype implementation for Rust-like programs.
Freund, and Shaz Qadeer
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Prophecy-Based Automated Verification of Message-Passing Programs
A sound and complete prophecy-based reduction of message-passing program verification to CHC satisfiability is proposed, with a prototype implementation for Rust-like programs.