scientific article
From MaRDI portal
Publication:3698302
zbMath0577.68047MaRDI QIDQ3698302
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Model theory (03C99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Does “N+1 times” prove more programs correct than “N times”?, 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, Total correctness in nonstandard logics of programs, A simple proof for the completeness of Floyd's method, On the strength of temporal proofs
