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

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.