falluto 0.0.9

A model checker for verifying fault tolerant systems

Gemfile:
=

安裝:
=

版本列表:

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

Runtime 相依性套件 (1):

treetop >= 1.2.3

Development 相依性套件 (1):

bacon >= 1.1.0

Show all transitive dependencies

擁有者:

作者:

Edgardo Hames

SHA 256 總和檢查碼:

=