search menu icon-carat-right cmu-wordmark

Verifying Distributed Adaptive Real (DART) Systems

October 2016 Poster
Sagar Chaki

DART Vision


Software Engineering Institute


A sound engineering approach based on the judicious use of precise semantics,  formal analysis and design constraints leads to assured behavior of (DART) systems while accounting for

•          critical requirements

•          probabilistic requirements

•          uncertain environments

•          necessary coordination

•          assurance at source code level