Art

J-GLOBAL ID：201402244694582697   Reference number：14A1010313

Evaluation of Large-scale Graph Rewriting Model Checking Using Hash Compaction

Hash Compactionを利用したグラフ書換え系モデル検査の大規模化とその評価

Author (3)： YOSHIDA TAKETO (早稲田大 大学院基幹理工学研究科) ,  ONUMA MASARU (早稲田大 大学院基幹理工学研究科) ,  UEDA KAZUNORI (早稲田大 大学院基幹理工学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 114  Issue： 156(DC2014 18-20)  Page： 9-16  Publication year： Jul. 22, 2014 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Technology ,  mathematical model ,  hash function ,  model checking ,  *term rewriting system ,  hashing ,  compression ,  language model ,  language processor ,  *model inspection technique
Semi thesaurus term： hash compaction ,  LMNtal ,  slim LMNtal implementation ,  *graph rewriting

JST classification (1)： Other information processing  (JE15050M)

Reference (18)：

• Austin Appleby : murmurhash, 2009, https://sites.google.com/site/murmurhash/.
• Barnat, J., Brim, L., Cerna, I., Moravec, P., Rockai, P., Simecek, P. : DiVinE - A Tool for Distributed Verification, in Proc. CAV 2006, LNCS 4144, pp. 278-281, 2006.
• Barnat, J., Brim, L., Ročkai, P.: On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties, Science of Computer Programming, Vol. 77, No. 12, pp. 1272-1288, 2012.
• Barnat, J., Havlicek, J., Rockai, P.: Distributed LTL Model Checking with Hash Compaction, Electronic Notes in Theoretical Computer Science, Vol. 296, pp. 79-93, 2013.
• Brim, L., Cerna, I., Moravec, P., Simsa, J. : Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking, in Proc. FMCAD 2004, LNCS 3312, pp. 352-366, 2004.

Terms in the title (5)： グラフ ,  書換え系 ,  モデル検査 ,  大規模 ,  評価