Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Software

MCDA

  • 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.

     

Software Information

Published by GitHub

Get the Software