bymc-0.9.5


  • ByMC is a tool for model checking fault-tolerant distributed algorithms. More details to be found at: http://forsyte.at/software/bymc/