Return to Article Details Software System Model Correctness using Graph Theory: A Review Download Download PDF