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.
2013
2013
Distributed firewall anomaly detection through LTL model checking
An anomaly in a firewall is a relationship between two of its rules that may hint at a possible misconfiguration of its filter… 
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… 
2008
2008
Symbolic Partition Refinement with Dynamic Balancing of Time and Space
Bisimulation minimization is one of the classical means to fight the infamous state space explosion problem in verification… 
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… 
2006
2006
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
Agents require standard and reliable protocols to interact with different service providers in order to provide high quality… 
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)