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

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