...interleaving whether components correctly use locks to ensure mutual-exclusion properties whether components followprescribed communication protocols ComFoRT works with designs expressed in Construction and Composition Language (CCL...
http://www.sei.cmu.edu/news-at-sei/whats-new/comfort.htm
...they can be designed to follow a set of rules, standards, and conventions. More specifically, they often need to followprescribed interfaces and behaviors, especially when they are meant to exist within a particular implementation framework...
http://www.ddj.com/development-tools/184405619