GitHub repository: sybila/parasim
Primary language: Java
Description: Tool for paralell simulations and verification