Differential Equation Axiomatization

DOI10.1145/3209108.3209147zbMath1453.03026arXiv1802.01226OpenAlexW4289761034MaRDI QIDQ5145359

Yong Kiam Tan, André Platzer

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.01226

zbMATH Keywords

differential dynamic logicdifferential equation axiomatizationdifferential ghosts

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Proof theory in general (including proof-theoretic semantics) (03F03) Other applications of logic (03B80) Hybrid systems of ordinary differential equations (34A38)

Related Items (8)

Relational Differential Dynamic Logic ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Characterizing positively invariant sets: inductive and topological methods ⋮ On induction principles for partial orders ⋮ Vector barrier certificates and comparison systems ⋮ Symbolic computation of differential equivalences ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ Towards physical hybrid systems

This page was built for publication: Differential Equation Axiomatization