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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
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
The paper presents a novel action language for multiagent domains, mA+ , which generalizes action languages to multi-agent… 
2010
2010
Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both… 
2008
2008
Bisimulation minimization is one of the classical means to fight the infamous state space explosion problem in verification… 
2008
2008
We present a formalism that allows to specify the behavior of product lines using UML statecharts. We use feature diagrams to… 
2006
2006
In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitative… 
2006
2006
Agents require standard and reliable protocols to interact with different service providers in order to provide high quality… 
2002
2002
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer… 
2002
2002
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer… 
2000
2000
This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a…