Promela
Promela (PROcess MEta LAnguage)
プロセスの振る舞いを記述するDSL
手続き指向、C 言語風文法
非同期分散アルゴリズムを
非決定的オートマトン
としてモデル化する
SPIN
線形時相論理 (LTL)
確認用
Q. Promela
参考
関連
メモ
0.PROMELAの基本文法
調査用
/pogi-log/Google.icon
Promela
/pogi-log/Wikipedia.icon
Promela - Wikipedia(日)
Promela(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Promela - Wikipedia(英)
#Fleeting_Notes