falluto 0.0.9

A model checker for verifying fault tolerant systems

Gemfile:
= クリップボードにコピーコピー完了!

インストール:
=

バージョン履歴:

0.0.9 - January 07, 2010 (16KB)
0.0.1 - December 18, 2009 (5.5KB)

Runtime依存関係 (1):

treetop >= 1.2.3

Development依存関係 (1):

bacon >= 1.1.0

全ての推移的な依存関係を表示

所有者:

作者:

Edgardo Hames

SHA 256チェックサム:

64527d74af061e3c0355a08ab5f8eaf2ad2fb3db740b294f1114ea1d4ce7d269