Software Engineering Institute

The MCDA project attempts to formally verify the correctness, safety or other critical properties of distributed algorithm implementations before they are deployed. The current approach involves sequentialization techniques to analyze the structure of a program and its execution mechanics for each participant in the networked application.