Title :
An Integrated Verification Process Algebra for Time and Spatial Performance
Author :
Bo, Van ; Xiaoping, Wu ; Yu, Fu
Author_Institution :
Dept. of Inf. Security, Naval Univ. of Eng., Wuhan, China
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.
Keywords :
formal verification; process algebra; integrated verification process algebra; model simplification; spatial performance; time performance; Artificial intelligence; Reliability; Silicon; Syntactics; performance verification; process algebre; spatial performance; time performance;
Conference_Titel :
System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2011 International Conference on
Conference_Location :
Guiyang
Print_ISBN :
978-1-4577-0247-1
DOI :
10.1109/ICSSEM.2011.6081167
