Exploring the Notion of Verification Complexity

Sukhwan Jung, Joanna Joseph, Alejandro Salado (Department of Systems and Industrial Engineering, University of Arizona)

Keywords
Verification;Modelling;knowledge graphs;complexity;verification complexity
Abstract
Measuring the system complexity throughout the development lifecycle has been considered one of the core prerequisites of the system management. However, comparatively less attention was given to the complex verification strategies. As system complexity aids system design and management, we expect the verification complexity to improve the planning and execution of verification strategies. An machine learning algorithm will be trained to venture a prospect of an working VSC measure.