SSAI includes a model-based verification and a flexible modeling
framework that provides newly discovered vulnerability scenarios to
VMatrix, a matrix of known vulnerability probabilities. Model-based
verification also provides life cycle verification results to the propertybased tester (PBT).