GitHub repository: ligurio/molly
Primary language: Lua
Description: Framework for distributed system's verification, with fault injection.