Art

J-GLOBAL ID：200902293649864151   Reference number：09A1196853

安心・安全システム構築のための形式検証技術 時間オートマトンによる実時間システムの形式的検証

Author (1)： NAKATA AKIO (広島市大 大学院情報科学研究科)
Material： 計測と制御  (Journal of the Society of Instrument and Control Engineers)
Volume： 48  Issue： 11  Page： 803-809  Publication year： Nov. 10, 2009 
JST Material Number： F0131A  ISSN： 0453-4662  CODEN： KESEA  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *security system ,  verification ,  *automaton ,  Time ,  synthesis ,  parallel algorithm ,  model checking ,  railroad crossing
Semi thesaurus term： *security system ,  formal verification ,  *timed automaton ,  *actual time

JST classification (1)： Logic algebra  (JB03000H)

Reference (5)：

• CLARKE, E. M. Model Checking. 1999
• ALUR, R. A theory of timed automata. Theoretical Comput. Sci. 1994, 126, 183-235
• SIPSER, M. Introduction to the Theory of Computation. 1996, chapter 1
• MAGEE, J. Concurrency : State Models and Java Programs. 2006
• LARSEN, K. G. UPPAAL in a nutshell. Int. Journal of Software Tools for Technology Transfer. 1997, 1, 1-2, 134-152

Terms in the title (6)： 安心 ,  システム構築 ,  形式検証 ,  時間オートマトン ,  実時間システム ,  形式的検証