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

Digital Library

Poster

Verifying Distributed Adaptive Real (DART) Systems

  • October 2016
  • By Sagar Chaki
  • DART Vision
  • Publisher: Software Engineering Institute
  • Abstract

    A sound engineering approach based on the judicious use of precise semantics,  formal analysis and design constraints leads to assured behavior of (DART) systems while accounting for

    •          critical requirements

    •          probabilistic requirements

    •          uncertain environments

    •          necessary coordination

    •          assurance at source code level

  • Download