mathematically proved via consistency and model-checking analyses. SCR is
supported by a suite of tools, including a requirements specification editor, a
dependency graph browser, a simulator for validating the specification, and
verification tools that check that the requirements specification satisfies a