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

Digital Library

Poster

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

    pdf

Part of a Collection

SEI 2015 Research Review Artifacts