scientific article; zbMATH DE number 1446599
From MaRDI portal
Publication:4953875
agentsbinary decision diagramsdata structuremodal logicmodel checkingpredicate logicprogram verificationpropositional logictextbook
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(24)- Greening R. Thomas' framework with environment variables: a divide and conquer approach
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Computation tree logic model checking based on multi-valued possibility measures
- Automatic workflow verification and generation
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Connectionist computations of intuitionistic reasoning
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Formal verification of object-oriented graph grammars specifications
- Mathematical Logic for Computer Science
- Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
- Proactive communicating process with asymmetry in multiagent systems
- scientific article; zbMATH DE number 194217 (Why is no real title available?)
- scientific article; zbMATH DE number 605797 (Why is no real title available?)
- Logic in Computer Science
- Adequate sets of temporal connectives in CTL
- Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions
- On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs
- Verifying procedural programs via constrained rewriting induction
- On some generalization of rough sets
- Constrained Kripke structure for identifying parameters of biological models
- An equivalent CTL formulation for condition sequences
- Data structures for symbolic multi-valued model-checking
- Connectionist modal logic: representing modalities in neural networks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953875)
