develop methods for predicting the behavior of a component-based
system prior to implementation. [94] In addition the US Naval Research
Laboratory (NRL) sponsors the Center for High Assurance Computer
Systems (CHACS), which is investigating techniques for developing highlyassured building blocks (i.e., components) from which trustworthy systems