scholarly journals State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction

2012 ◽  
Vol 62 (2) ◽  
pp. 828-854 ◽  
Author(s):  
Yang Guo ◽  
Wanxia Qu ◽  
Long Zhang ◽  
Weixia Xu
Keyword(s):  
State Space ◽  
Cache Coherence ◽  
Two Dimensional ◽  
Space Reduction ◽  
Cache Coherence Protocol ◽  
State Space Reduction

scholarly journals Iterative state-space reduction for flexible computation

2001 ◽  
Vol 126 (1-2) ◽  
pp. 109-138 ◽  
Author(s):  
Weixiong Zhang
Keyword(s):  
State Space ◽  
Space Reduction ◽  
State Space Reduction

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

2005 ◽  
Vol 34 (5) ◽  
pp. 1159-1175 ◽  
Author(s):  
Kousha Etessami ◽  
Thomas Wilke ◽  
Rebecca A. Schuller
Keyword(s):  
State Space ◽  
Space Reduction ◽  
Büchi Automata ◽  
Parity Games ◽  
Simulation Relations ◽  
Buchi Automata ◽  
State Space Reduction
Sign in / Sign up

Export Citation Format

Share Document