Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,302 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Computation tree logic
Deadlock
Graph (discrete mathematics)
Kripke semantics
Expand
Broader (2)
Model checking
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Distributed firewall anomaly detection through LTL model checking
Sylvain Hallé
,
Eric Lunaud Ngoupe
,
Roger Villemaire
,
O. Cherkaoui
IFIP/IEEE Symposium on Integrated Network…
2013
Corpus ID: 14125775
An anomaly in a firewall is a relationship between two of its rules that may hint at a possible misconfiguration of its filter…
Expand
2012
2012
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
Chitta Baral
,
G. Gelfond
,
Tran Cao Son
2012
Corpus ID: 18993047
The paper presents a novel action language for multiagent domains, mA+ , which generalizes action languages to multi-agent…
Expand
2010
2010
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
M. Reniers
,
T. Willemse
Conference on Current Trends in Theory and…
2010
Corpus ID: 17336166
Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both…
Expand
2008
2008
Symbolic Partition Refinement with Dynamic Balancing of Time and Space
Ralf Wimmer
,
Salem Derisavi
,
H. Hermanns
Fifth International Conference on Quantitative…
2008
Corpus ID: 6613362
Bisimulation minimization is one of the classical means to fight the infamous state space explosion problem in verification…
Expand
2008
2008
Statecharts and Variabilities.
Nora Szasz
,
Pedro Vilanova
International Workshop on Variability Modelling…
2008
Corpus ID: 59888640
We present a formalism that allows to specify the behavior of product lines using UML statecharts. We use feature diagrams to…
Expand
2006
2006
Adapting Biochemical Kripke Structures for Distributed Model Checking
Susmit Jha
,
R. Shyamasundar
Trans. Comp. Sys. Biology
2006
Corpus ID: 8081133
In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitative…
Expand
2006
2006
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
Pemadeep Ramsokul
,
A. Sowmya
IEEE International Conference on Software…
2006
Corpus ID: 18159149
Agents require standard and reliable protocols to interact with different service providers in order to provide high quality…
Expand
2002
2002
On Model Checking Durational Kripke Structures
F. Laroussinie
,
N. Markey
,
P. Schnoebelen
Foundations of Software Science and Computation…
2002
Corpus ID: 10946818
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer…
Expand
2002
2002
On model checking durational Kripke structures (Extended abstract)
F. Laroussinie
,
N. Markey
2002
Corpus ID: 14299566
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer…
Expand
2000
2000
Modeling Ambiguity in a Multi-Agent System
Christof Monz
arXiv.org
2000
Corpus ID: 3263148
This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a…
Expand
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)
ACCEPT & CONTINUE