GitHub repository: KRIYO144/peixo-ReachabilityAnalysis-VP
Primary language: Java
Description: Visual Paradigm Plugin for Reachability Analysis of UML-Statemachines