scientific article
From MaRDI portal
Publication:3956390
zbMath0493.68032MaRDI QIDQ3956390
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (12)
Non-standard algorithmic and dynamic logic ⋮ Does “N+1 times” prove more programs correct than “N times”? ⋮ A simple dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ The power of temporal proofs ⋮ Weak second order characterizations of various program verification systems ⋮ Temporal logics need their clocks ⋮ Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics ⋮ Total correctness in nonstandard logics of programs ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ A simple proof for the completeness of Floyd's method ⋮ On the strength of temporal proofs
This page was built for publication:
