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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Software

MCDA

  • March 2015
  • MCDA formally verifies the correctness, safety or other critical properties of distributed algorithm implementations before they are deployed.
  • Cyber-Physical Systems
  • Publisher: GitHub
  • 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