Verification Complexity: An Initial Look at Verification Artifacts

There has been increasing interest in developing numerical methods to inform the design of verification strategies in recent years. Existing work has been applied to toy problems that significantly simplify the complexity of verification in real-life applications, both in terms of the size of the problem and the interdependencies between the different elements of a verification strategy. To our knowledge, there is no publicly available evidence of the complexity of the verification “problem” in terms of requirements that need to be verified, verification activities that are conducted, and their interrelationships. In this chapter, we use knowledge graphs to visualize the size of the verification problem for two industrial projects, as captured in their verification artifacts, which include requirements traceability matrices and verification matrices.