scientific article; zbMATH DE number 4101151

MaRDI QIDQ3826528zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

axiomatizationdynamic logic of while-programsinfinitary rules

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4047196
• A completeness theorem for dynamic logic
• scientific article; zbMATH DE number 1678381
• Dynamic logic with trace semantics
• Dynamic logic with program specifications and its relational proof system

Cited in

(35)

• Formalizing and implementing Gries' program development method in dynamic logic
• A system of dynamic modal logic
• Dynamic interpretation and Hoare deduction
• Recursive programs and denotational semantics in absolute logics of programs
• scientific article; zbMATH DE number 1678381 (Why is no real title available?)
• scientific article; zbMATH DE number 4016871 (Why is no real title available?)
• Specifying imperative ML-like programs using dynamic logic
• Dynamic frames in Java dynamic logic
• A dynamic logic for unstructured programs with embedded assertions
• A dynamic logic with traces and coinduction
• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 3907752 (Why is no real title available?)
• scientific article; zbMATH DE number 3918336 (Why is no real title available?)
• Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem
• scientific article; zbMATH DE number 4047196 (Why is no real title available?)
• scientific article; zbMATH DE number 4058826 (Why is no real title available?)
• scientific article; zbMATH DE number 4088902 (Why is no real title available?)
• scientific article; zbMATH DE number 4100595 (Why is no real title available?)
• Some inference rules for integer arithmetic for verification of flowchart programs on integers
• Some open questions in the theory of program schemes and dynamic logics
• scientific article; zbMATH DE number 107898 (Why is no real title available?)
• scientific article; zbMATH DE number 465521 (Why is no real title available?)
• Dynamic logic with program specifications and its relational proof system
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A natural deduction approach to dynamic logic
• Dynamic logic with trace semantics
• Aximo: automated axiomatic reasoning for information update
• Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic
• Verification for everyone? An overview of dynamic logic
• A dynamic logic with branching modalities
• A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3
• Tactical theorem proving in program verification
• On the status of proving program properties in effective interpretations
• A completeness theorem for dynamic logic
• A dynamic logic for QASM programs

This page was built for publication:

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