翻訳と辞書 Words near each other ・ Lu Kai (badminton) ・ Lu Kang ・ Lu Kang (Han dynasty) ・ Lu Kang (Three Kingdoms) ・ Lu Kanru ・ Lu Ke ・ Lu Kemp ・ Lu Keng ・ Lu Kuang ・ Lu Kuei-hua ・ Lu Kun ・ Lu Kun-chi ・ Lu Kuo-hua ・ Lu Lan ・ Lu Laysreng ・ LTSmin ・ LTSP ・ LTspice ・ LTSports ・ LTSR ・ LTT ・ LTT Express ・ LTTng ・ LTTR ・ LTTV ・ LTU ・ LTU Austria ・ LTU International ・ LTU International destinations ・ LTU Technologies Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク LTSmin ： ウィキペディア英語版 LTSmin LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning〔(Results of the RERS 2012 Challenge )〕 tool-set for manipulation and model checking of state transition systems. Its strengths are language-independents and high-performance parallel (multi-core and distributed) model checking. It offers explicit state as well as symbolic model checking. The following prominent specification languages are currently supported: * Promela * UPPAAL language * mCRL2 The tool-set has been developed at University of Twente, Netherlands. == Notes == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「LTSmin」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.