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