scientific article; zbMATH DE number 4119616
From MaRDI portal
Publication:4733398
zbMath0683.68030MaRDI QIDQ4733398
I. A. Draghicescu, Edmund M. Clarke
Publication date: 1989
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 (11)
Temporal Logic and Fair Discrete Systems ⋮ Branching-time logics and fairness, revisited ⋮ Branching vs. Linear Time: Semantical Perspective ⋮ The Birth of Model Checking ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ On the analysis of compensation correctness ⋮ \(\omega\)-regular languages are testable with a constant number of queries ⋮ Incompleteness of states w.r.t. traces in model checking ⋮ Some Results on the Expressive Power and Complexity of LSCs ⋮ Relating word and tree automata ⋮ Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
This page was built for publication:
