[1] 林惠民,张文辉.模型检测:理论,方法与应用[J].电子学报,2002,30(12):1907-1912. Lin H M,Zhang W H.Model checking:theories,Techniques and Applications[J].Acta Electronica Sinica,2002,30(12):1907-1912.(in Chinese)
[2] C Baier,J P Katoen.Principles of Model Checking[M].Cambridge,Massachusetts:MIT Press,2008.
[3] 林运国,雷红轩,李永明.量子马尔可夫链安全性模型检测[J].电子学报,2014,42(11):2191-2197. Lin Y G,Lei H X,Li.Model checking of safety property over quantum markov chain[J].Acta Electroni-ca Sinica,2014,42(11):2191-2197.(in Chinese)
[4] M Chechik,B Devereux,A Gurfinkel,et al,Multi-valued symbolic model-checking[J].ACM Transactions on Software Engineering Methodology,2004,12(4):1-38.
[5] M Chechik,A Gurfinkel,B Devereux,et al.Data structures for symbolic multi-valued model-checking[J].Formal Methods in System Design,2006,29(3):295-344.
[6] Pan H Y,Li Y M,Cao Y Z,Ma Z Y.Model checking computation tree logic over finite lattices[J].Theoretical Computer Science,2016,612:45-62.
[7] Pan H Y,Li Y M,Cao Y Z,Ma Z Y.Model checking fuzzy computation tree logic[J].Fuzzy Sets and Systems,2015,2612:60-77.
[8] D Dubois.Possibility theory and statistical reasoning[J].Computational Statistics and Data Analysis,2006,51:47-69.
[9] Li Y M,Li L.Model checking of linear-time properties based on possibility measure[J].IEEE Transactions on Fuzzy Systems,2013,21(5):842-854.
[10] Li Y M,Li Y N.Computation tree logic model checking based on possibility measures[J].Fuzzy Sets and Systems,2015,26(2):44-59.
[11] Li Y M,Ma Z Y.Quantitative computation tree logic model checking based on generalized possibility measures[J].IEEE Transactions on Fuzzy Systems,2015,23(6):2034-2047.
[12] Li Y M.Quantitative model checking of linear-time properties based on generalized possibility measures[DB/OL].http://arxiv.org/abs/1601.06504.
[13] 马占有,李永明.基于决策过程的广义可能性计算树逻辑模型检测[J].中国科学:信息科学,2016,46(11):1591-1607. Ma Z Y,Li Y M.Model checking generalized possibilistic computation tree logic based on decision processes[J].Science China Information Sciences,2016,46(11):1591-1607.(in Chinese)
[14] J Kleinberg,E Tardos.Algorithm Design[M].Addison-Wesley,MA,2005.
[15] 李永明.模糊计算理论[M].北京:科学出版社,2016. Li Y M.Theories of Computations[M].Beijing:Science Press,2016. |