Dynamic Logic with Non-rigid Functions

DOI10.1007/11814771_23zbMath1222.03030OpenAlexW2102251549MaRDI QIDQ3613414

Bernhard Beckert, André Platzer

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_23

zbMATH Keywords

sequent calculusdynamic logicobject-orientationsoftware verificationprogram logiclogical foundations of programming languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3, A dynamic logic for deductive verification of multi-threaded programs, Multimodal Separation Logic for Reasoning About Operational Semantics, Predicate abstraction in a program logic calculus, Predicate Abstraction in a Program Logic Calculus, Interleaving Symbolic Execution and Partial Evaluation, On the Completeness of Dynamic Logic, Differential dynamic logic for hybrid systems, Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems