Research on model checking Cellular Automata

International Journal of Digital Content Technology and its Applications

Volumn 5, Issue 11, 2011, Pages 44-51

  Gongzheng, Lu ^a,b   Yuejuan, Wang ^c  

^a SUZHOU VOCATIONAL UNIVERSITY   (China)

^b SHANGHAI UNIVERSITY   (China)

^c Suzhou Power Supply Company   (China)

Author keywords

Cellular Automata; Global State Transition Diagram; Model Checking; NuSMV

Indexed keywords

ARTIFICIAL LIFE; GLOBAL STATE; GLOBAL STATE TRANSITION DIAGRAM; HARD PROBLEMS; LOCAL COMMUNICATIONS; MODEL CHECKER; NUSMV; REACHABILITY; STATE EVOLUTIONS; TRAFFIC FLOW;

ALGORITHMS; CELLULAR AUTOMATA;

MODEL CHECKING;

EID: 82155163761     PISSN: 19759339     EISSN: None     Source Type: Journal    
DOI: 10.4156/jdcta.vol5.issue11.6     Document Type: Article

References (11)

1. John Von Neumann. "Theory of Self-Reproducing Automata", University of Illinois press, USA,1966.
2. Klaus Sutner. "Model-Checking One-Dimensional Cellular Automata", "Journal of Cellular Automata", vol.4, no.3, pp.213-224, 2009.
3. Joe Gershenson. "Model Checking Cellular Automata". http://www.cs.cmu.edu/afs/cs/user/mjs/ftp/thesis-program/2009/abstracts/gershensonEA.pdf, 2009.
4. th International Conference on Cellular Automata for Research and Industry, pp.745-754, 2004.
5. Joakim Byg, Kenneth Yrke Jørgensen. "Regular Model Checking and Verification of Cellular Automata", Master Degree, Aalborg University, 2008.
6. Rui Yang, Xiaoju Ning, "Model Checking Cryptographic Protocols with Interval Temporal Logic", "JCIT: Journal of Convergence Information Technology", Vol. 5, No. 10, pp. 149-158, 2010
7. Honghao Gao, Shuoping Wang, "Modeling and Verifying of Grid Computing Based on FSM", "JCIT: Journal of Convergence Information Technology", Vol. 6, No. 1, pp. 170-181, 2011
8. th Annual ACM Symposium on Principles of Programming Languages (POPL83), pp.117-126, 1983.
9. Edmund M. Clarke, Orna Grumberg, David E. Long. "Model checking and abstraction", "ACM Transactions on Programming Languages and Systems", vol.16, no.5, pp.1512-1542, 1994.
10. Kenneth L. McMillan. "Symbolic model checking: an approach to state explosion problem", Catnegie Mellon-University, Department of Computer Science, Report CMU-CS-92-131, 1992.
11. Gerard J. Holzmann. "Design and Validation of Computer Protocols", Prentice Hall, USA, 1991.