able to better automate their evaluation processes and incorporate results from
a variety of tools—from static code analysis tools to formal method verifiers to
application vulnerability scanners—into a single coherent assurance case.
NIST SAMATE has been tasked with developing standards against which