CORAL

Downloadable computer software for visualization, analysis, and interaction with electronic design schematics and source code; Downloadable computer software for interacting with external electronicdesign tools; Recorded software for automating analysis, assessing quality, generating reports regarding vulnerabilities, generating reports regarding functionality, recording observations, and enabling multi-user collaborative design analysis