サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
レイングッズ
cocotec.io
The CSP refinement checker, now with a new lightning-fast multicore refinement-checking engine. Download FDR4 — The CSP Refinement Checker FDR4 analyses programs written in CSPM, which combines the operators of Hoare's CSP with a functional programming language. It also has support for analysing timed systems, via tock CSP. N = 8 PHILNAMES = {0..N-1} FORKNAMES = {0..N-1} channel thinks, sits, eats
このページを最初にブックマークしてみませんか?
『cocotec.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く