Evaluation
Trustworthiness of complex systems cannot be established without the rigor provided by mathematically formal techniques. ITI is developing mathematical models, methodologies, and tools for modeling system behavior and assessing correctness, and creating test-bed-based experimental methodologies for assessing trust.