scientific article

zbMath0465.68011MaRDI QIDQ3917484

Joseph Y. Halpern, Amir Pnueli, Mordechai Ben-Ari

Publication date: 1981

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

zbMATH Keywords

algorithmaxiomatizationprogramssatisfiability of formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC ⋮ A dynamic deontic logic for complex contracts ⋮ Process logic: Expressiveness, decidability, completeness ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts