GitHub - fredlund/McErlang: The McErlang model checker for Erlang
McErlang is a model checker for programs written in the Erlang programming language. The idea is to replace the part of the standard Erlang runtime system that concerns distribution, concurrency and communication with a new runtime system which simulates processes inside the model checker, and which offers easy access to the program state. The model checker has been written by Lars-Åke Fredlund an
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Lamport talk
GitHub - diffblue/cbmc: C Bounded Model Checker
