Symbolic state space reduction with guarded terms for rewriting modulo SMT

Science of Computer Programming ◽

10.1016/j.scico.2019.03.006 ◽

2019 ◽

Vol 178 ◽

pp. 20-42 ◽

Author(s):

Kyungmin Bae ◽

Camilo Rocha

Keyword(s):

State Space ◽

Space Reduction ◽

State Space Reduction

Download Full-text

An approach to state space reduction for systems with dynamic process creation

2009 24th International Symposium on Computer and Information Sciences ◽

10.1109/iscis.2009.5291864 ◽

2009 ◽

Author(s):

Hanna Klaudel ◽

Maciej Koutny ◽

Elisabeth Pelz ◽

Franck Pommereau

Keyword(s):

State Space ◽

Dynamic Process ◽

Space Reduction ◽

Process Creation ◽

State Space Reduction

Download Full-text

State space reduction in abstract interpretation of parallel programs

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) ◽

10.1109/iccl.1994.288373 ◽

2002 ◽

Author(s):

Jyh-Herng Chow ◽

W.L. Harrison

Keyword(s):

State Space ◽

Abstract Interpretation ◽

Parallel Programs ◽

Space Reduction ◽

State Space Reduction

Download Full-text

On input state space reduction and buffer noneffective region

Proceedings of INFOCOM '94 Conference on Computer Communications ◽

10.1109/infcom.1994.337588 ◽

2002 ◽

Author(s):

Chia-Lin Hwang ◽

San-Qi Li

Keyword(s):

State Space ◽

Input State ◽

Space Reduction ◽

State Space Reduction

Download Full-text

Iterative state-space reduction for flexible computation

Artificial Intelligence ◽

10.1016/s0004-3702(00)00066-7 ◽

2001 ◽

Vol 126 (1-2) ◽

pp. 109-138 ◽

Author(s):

Weixiong Zhang

Keyword(s):

State Space ◽

Space Reduction ◽

State Space Reduction

Download Full-text

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

SIAM Journal on Computing ◽

10.1137/s0097539703420675 ◽

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

Download Full-text

A state-space reduction method for computing the cell loss probability in ATM networks

Proceedings of ICC/SUPERCOMM'94 - 1994 International Conference on Communications ◽

10.1109/icc.1994.368824 ◽

2002 ◽

Author(s):

Jun Yei ◽

T. Yang

Keyword(s):

State Space ◽

Reduction Method ◽

Cell Loss ◽

Loss Probability ◽

Atm Networks ◽

Space Reduction ◽

State Space Reduction

Download Full-text

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

The Journal of Supercomputing ◽

10.1007/s11227-012-0755-0 ◽

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

Download Full-text

Towards State Space Reduction Based on T-Lumpability-Consistent Relations

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87412-6_6 ◽

2008 ◽

pp. 64-78 ◽

Author(s):

Marco Bernardo

Keyword(s):

State Space ◽

Space Reduction ◽

State Space Reduction

Download Full-text

State Space Reduction in the Maude-NRL Protocol Analyzer

Computer Security - ESORICS 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88313-5_35 ◽

2008 ◽

pp. 548-562 ◽

Author(s):

Santiago Escobar ◽

Catherine Meadows ◽

José Meseguer

Keyword(s):

State Space ◽

Space Reduction ◽

Protocol Analyzer ◽

State Space Reduction

Download Full-text

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45923-5_5 ◽

2002 ◽

pp. 64-79 ◽

Author(s):

Fei Xie ◽

James C. Browne

Keyword(s):

Model Checking ◽

State Space ◽

Object Oriented ◽

Software System ◽

Space Reduction ◽

System Designs ◽

State Space Reduction

Download Full-text