Skip to search formSkip to main contentSkip to account menu

Kripke structure (model checking)

Known as: Kripke Structure, Kripke structures 
A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Computation tree logicDeadlockGraph (discrete mathematics)Kripke semantics

Broader (2)

Model checkingTemporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
The paper presents a novel action language for multiagent domains, mA+ , which generalizes action languages to multi-agent… 
2010
2010
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both… 
2010
2010
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in… 
2009
2009
Model Checking for Hybrid Logic
We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they compute… 
2008
2008
Statecharts and Variabilities.
We present a formalism that allows to specify the behavior of product lines using UML statecharts. We use feature diagrams to… 
2006
2006
Adapting Biochemical Kripke Structures for Distributed Model Checking
In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitative… 
2003
2003
Model checking and evidence exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof… 
2002
2002
On Model Checking Durational Kripke Structures
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer… 
2002
2002
On model checking durational Kripke structures (Extended abstract)
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer… 
2000
2000
Modeling Ambiguity in a Multi-Agent System
This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)