Efficient Model Checking of Causal-Knowledge Protocols

2002 ◽  
pp. 242-252
Author(s):  
Wojciech Penczek
Keyword(s):  
Model Checking ◽  
Causal Knowledge

scholarly journals Model checking of causal knowledge formulas

2000 ◽  
Vol 28 ◽  
pp. 40-58 ◽  
Author(s):  
Wojciech Penczek ◽  
Stanislaw Ambroszkiewicz
Keyword(s):  
Model Checking ◽  
Causal Knowledge

Model-Checking of Infinite Graphs Defined by Graph Grammars

2000 ◽  
Vol 5 ◽  
pp. 1 ◽  
Author(s):  
O BURKART ◽  
Y QUEMENER
Keyword(s):  
Model Checking ◽  
Infinite Graphs ◽  
Graph Grammars

Causal-Knowledge and Information Search During Categorization

2013 ◽  
Author(s):  
Jay B. Martin ◽  
Bob Rehder
Keyword(s):  
Information Search ◽  
Causal Knowledge

The Influence of Causal Knowledge as a Function of Encoding Task

1994 ◽  
Author(s):  
William D. Wattenmaker
Keyword(s):  
Causal Knowledge

Towards the improvement of model checking

2014 ◽  
Author(s):  
Peiyu Huang
Keyword(s):  
Model Checking

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking
Sign in / Sign up

Export Citation Format

Share Document