scientific article

zbMath0542.68022MaRDI QIDQ3330496

Zohar Manna, Ben Moszkowski

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagesreasoningspecificationPrologcontrol structuresinterval temporal logicLucid

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Logic with extra quantifiers and operators (03C80)

Related Items (11)

Symbolic Model Checking for Alternating Projection Temporal Logic ⋮ An application of temporal projection to interleaving concurrency ⋮ Convolution and concurrency ⋮ Unified temporal logic ⋮ Planning from second principles ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Unnamed Item ⋮ Separation Logic Semantics for Communicating Processes ⋮ On modal logic of deductive closure ⋮ Logic of subtyping ⋮ Timed network games

This page was built for publication: