search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

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

• Poster
By
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.

SHARE
Download PDF
Part of a Collection

SEI 2015 Research Review Artifacts
Related Links
Watch Presentation
Ask a question about this Poster