Differential Refinement Logic

DOI10.1145/2933575.2934555MaRDI QIDQ4635909zbMATH OpenOpenAlexWikidataFDO

Authors Sarah M. Loos, André Platzer

Publication date 23 April 2018

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

Full work available at URL https://doi.org/10.1145/2933575.2934555

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Differential methods in logic program analysis
• Relational differential dynamic logic
• Differential logic programs: Programming methodologies and semantics
• A refinement calculus for logic programs
• Differential structure of Greechie logics
• On refinement in rewriting logic
• Refinement of Higher-Order Logic Programs
• scientific article; zbMATH DE number 1303996
• scientific article; zbMATH DE number 980422
• Refinement modal logic

Cited in

(9)

• Differential constraints, recursion operators, and logical integrability
• An axiomatic approach to existence and liveness for differential equations
• Relational differential dynamic logic
• Logical Difference Computation with CEX2.5
• Uniform substitution for differential refinement logic
• Refining constructive hybrid games
• Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
• Simpler reasoning about system properties: a proof-by-refinement technique
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

This page was built for publication: Differential Refinement Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635909)