Dynamic Logic with Non-rigid Functions
From MaRDI portal
Publication:3613414
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
sequent calculusdynamic logicobject-orientationsoftware verificationprogram logiclogical foundations of programming languages
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (max. 100)
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
This page was built for publication: Dynamic Logic with Non-rigid Functions