GitHub repository: lajtmaN/VisuAAL
Primary language: Java
Description: Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations