activity
20242026
most citedAxiomatization of Compact Initial Value Problems: Open Properties

4 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Deductive Refinement Calculus for Differential-Algebraic Programs

Jonathan Hellwig, Long Qian, André Platzer

This paper presents differential-algebraic refinement logic (dARL) with which one can deductively verify both properties and relations of differential-algebraic programs (DAPs) tha…