In this project, I worked on analyzing city and campus tasks using graphs. Each task is a node, and dependencies between tasks are edges with weights. My main goal was to: Find strongly connected ...

Abstract: Software systems or programs and their properties are often represented by directed or undirected graphs. However, for these systems to be dependable and trusted, special directed acyclic ...