The property verification methods of complex stochastic system based on directed graph
Ji Mingyu 1, 2 , Li Yanmei 2, Chen Zhiyuan 2
COMPUTER MODELLING & NEW TECHNOLOGIES 2014 18(1) 38-43
1 College of Information and Computer Engineering, Northeast Forestry University
Harbin, 150040, China
2 College of Computer Science and Technology, Harbin Engineering University
Harbin 150001, China
With the increasing complexity of computer hardware and software systems, how to ensure system accuracy and reliability becomes an increasingly pressing issue. The quantitative verification of multiple until formula property has important practical significance in the field of biology. In this paper, for particular probability reward model, we give the detailed analysis of properties verification methods of the multiple until formula with transition step and transition reward constraints based on the weighted directed graph. At last, the example analysis is given. The theoretical analysis and example result show that the feasibility and validity of the method.