Automated Secure Software Engineering Environment (CASSEE)
to address the need for scalable tools for high-assurance systems
development.
The IRC’s observations are being proven accurate in some cases and