search menu icon-carat-right cmu-wordmark

Verifying Distributed Adaptive Real (DART) Systems

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

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