MCDA
March 2015 • Software
MCDA formally verifies the correctness, safety or other critical properties of distributed algorithm implementations before they are deployed.
Abstract
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.