scientific article

zbMATH Open0722.68078MaRDI QIDQ3210192

Maciej Koutny

Publication date: 1991

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

zbMATH Keywords

formal verificationcongruenceKripke structures\(CTL^ *\) branching time temporal logicbehaviour expressionsbisimulation relationsnon- sequential systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Axiomatizing fixpoint logics 👍 👎
• Formalizing axiomatic systems for propositional logic in Isabelle/HOL 👍 👎
• An axiomatization of PCTL* 👍 👎
• Axiomatic Constraint Systems for Proof Search Modulo Theories 👍 👎
• Axiomatic System, Deduction and Implication 👍 👎
• A Deductive System for Existential Least Fixpoint Logic 👍 👎
• Paradeduction in Axiomatic Formal Systems 👍 👎
• Axiomatization of Induced Theories 👍 👎

This page was built for publication: