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


Publication Date


Verifying Distributed Adaptive Real-Time (DART) Systems Poster (SEI 2015 Research Review)

  • October 2015
  • By Sagar Chaki, Dionisio de Niz
  • This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.
  • Publisher: Software Engineering Institute
  • Abstract

    The vision of this work is a sound engineering approach based on the judicious use of precise semantics, formal analysis and design constraints leads to assured behavior of DART systems

  • Download
  • Additional Formats


Part of a Collection

SEI 2015 Research Review Artifacts