[1] C Baier,J P Katoen.Principles of Model Checking[M].Cambridge,Massachusetts:MIT Press,2008.
[2] 林惠民,张文辉.模型检测:理论,方法与应用[J].电子学报,2002,30(12):1907-1912. H M Lin,W H Zhang.Model checking:theories,Techniques and Applications[J].Acta Electronica Sinica,2002,30(12):1907-1912.(in Chinese)
[3] 林运国,雷红轩,李永明.量子马尔可夫链安全性模型检测[J].电子学报,2014,42(11):2191-2197. Lin Y G,Lei H X,Li Y M.Model checking of safety property over quantum Markov chain[J].Acta Electronica Sinica,2014,42(11):2191-2197.(in Chinese)
[4] 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.
[5] Y M Li,M Droste,L H Lei.Model checking of linear-time properties in multi-valued systems[J].Information Sciencses,2017,377(1):51-74.
[6] H Y Pan,Y M Li,Y Z Cao,Z Y Ma.Model checking fuzzy computation tree logic[J].Fuzzy Sets and Systems,2015,262(C):60-77.
[7] S Almagor,U Boker,O Kupferman.Formalizing and reasoning about quality[A].The 40th International Colloquium on Automata,Languages and Programming (ICALP)[C].Riga,Latvia:Springer, 2013.15-27.
[8] H Y Pan,Y M Li,Y Z Cao,Z Y Ma.Model checking computation tree logic over finite lattices[J].Theoretical Computer Science,2016,612(1):45-62.
[9] D Dubois.Possibility theory and statistical reasoning[J].Computational Statistics and Data Analysis,2006,51(1):47-69.
[10] Y M Li,L Li.Model checking of linear-time properties based on possibility measure[J].IEEE Transactions on Fuzzy Systems,2013,21(5):842-854.
[11] Y M Li,Y N Li.Computation tree logic model checking based on possibility measures[J].Fuzzy Sets and Systems,2015,26(2):44-59.
[12] Y M Li,Z Y Ma,Quantitative computation tree logic model checking based on generalized possibility measures[J].IEEE Transactions on Fuzzy Systems,2015,23(6):2034-2047.
[13] Y M Li.Quantitative model checking of linear-time properties based on generalized possibility measures[J].Fuzzy Sets and Systems,2017,320(1):17-39.
[14] A Frigeri,L Pasquale,P Spoletini.Fuzzy time in linear temporal logic[J].ACM Transactions on Computational Logic,2014,15(4):1-22. |