search menu icon-carat-right cmu-wordmark

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

This poster describes the authors' research efforts in verifying distributed adaptive real-time systems.

Software Engineering Institute


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.