Watching the Watchers with Verified Formal Assurance Tools

Executive Summary

This project will develop techniques for building trustworthy tools used to verify software systems that are used in contexts with high security, safety, and surety requirements. The results of this work will significantly raise the level of trust that can be placed in the tools that verify that software systems are correct.