Long Qian
All publications

IJCAR · 2026

A Deductive Refinement Calculus for Differential-Algebraic Programs

Jonathan Hellwig, Long Qian and André Platzer

International Joint Conference on Automated Reasoning (IJCAR)

PDF arXiv DOI
BibTeX 
@inproceedings{hellwig2026refinement,
  title = {A Deductive Refinement Calculus for Differential-Algebraic Programs},
  author = {Jonathan Hellwig and Long Qian and André Platzer},
  year = {2026},
  booktitle = {International Joint Conference on Automated Reasoning (IJCAR)},
  pages = {269--285},
  doi = {10.1007/978-3-032-32592-1_16},
  eprint = {2605.10188},
  archivePrefix = {arXiv}
}

Overview

A refinement logic for comparing and verifying differential-algebraic programs, with a calculus complete for certifying index reductions of differential-algebraic equations.