Publication:3698302
From MaRDI portal
zbMath0577.68047MaRDI QIDQ3698302
Publication date: 1985
03B45: Modal logic (including the logic of norms)
03C99: Model theory
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Total correctness in nonstandard logics of programs, A simple proof for the completeness of Floyd's method, On the strength of temporal proofs, The power of temporal proofs, Weak second order characterizations of various program verification systems, Temporal logics need their clocks, Recursive programs and denotational semantics in absolute logics of programs