CSP(形式手法)
Communicating Sequential Processes
プロセス代数
の一つ
並行性に関するプロセス計算の理論のひとつ
プロセス群がメッセージパッシングによって通信することで相互にやり取りしているものとしてシステムを記述する体系
FDR
(Failures-Divergence Refinement)
FDR4 - The CSP Refinement Checker
CSP
リファインメント
チェッカーなるものらしい
ドキュメント:
Introduction — FDR 4.2.7 documentation
mCRL2
CSP関連の論文
Communicating sequential processes | Communications of the ACM
関連
Correctness by Construction(CxC)
ホーア理論
CCS
π-計算
確認用
Q. CSP
参考
/Computers-Mathematics/CSP CPS
Communicating Sequential Processes - Wikipedia
CSP | Formal Methods Wiki | Fandom
#形式手法