An Integrated Verification Process Algebra for Time and Spatial Performance

Abstract

In order to solve the problem of integrated verification of the system's function properties, time performance and spatial performance, an Integrated Verification Process Algebra (IVPA) for Time and Spatial Performance is presented by this paper. The syntax and semantic of the IVPA is defined, that offer potential for automation or machine-assistance of model simplification. Case study results show that the IVPA and its verification approach can satisfy the modeling of systems, reasoning about the system's state space, and integrated verification of the time and spatial performance.