Dynamic Logic with Non-rigid Functions
From MaRDI portal
Publication:3613414
DOI10.1007/11814771_23zbMath1222.03030MaRDI 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 calculus; dynamic logic; object-orientation; software verification; program logic; logical foundations of programming languages
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Multimodal Separation Logic for Reasoning About Operational Semantics, A dynamic logic for deductive verification of multi-threaded programs, Predicate abstraction in a program logic calculus, Differential dynamic logic for hybrid systems, Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems, Interleaving Symbolic Execution and Partial Evaluation, Predicate Abstraction in a Program Logic Calculus, On the Completeness of Dynamic Logic