scientific article; zbMATH DE number 1446599
From MaRDI portal
Publication:4953875
zbMath0955.68001MaRDI QIDQ4953875
No author found.
Publication date: 14 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictextbookpropositional logicmodel checkingagentsbinary decision diagramspredicate logicprogram verificationdata structure
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (19)
Verifying Procedural Programs via Constrained Rewriting Induction ⋮ Automatic workflow verification and generation ⋮ Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ Greening R. Thomas' framework with environment variables: a divide and conquer approach ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Data structures for symbolic multi-valued model-checking ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Proactive communicating process with asymmetry in multiagent systems ⋮ On some generalization of rough sets ⋮ Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic ⋮ Constrained Kripke structure for identifying parameters of biological models ⋮ Computation tree logic model checking based on multi-valued possibility measures ⋮ Adequate Sets of Temporal Connectives in CTL ⋮ Abstracting and Verifying Strategy-Proofness for Auction Mechanisms ⋮ Connectionist computations of intuitionistic reasoning ⋮ On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Formal Verification of Object-Oriented Graph Grammars Specifications ⋮ An equivalent CTL formulation for condition sequences
This page was built for publication:
