Author:
Wang Jiajing,Tang You,Yu Helong,Huang Wei
Publisher
Springer International Publishing
Reference10 articles.
1. Qi, J., Luo, G.: Model based formal design for MVB system. In: IEEE International Conference on Cognitive Informatics & Cognitive Computing 2017, pp. 26–28 (2017)
2. Chen, D., Liu, Q., Jin, H., et al.: A temporal logic with a semantics defined on the static structure and dynamic behavior of program. J. Comput. Res. Dev. 2016(09), 2067–2084 (2016)
3. Maryam, A., Morteza, M., Mostafa, Z.: From forcing to satisfaction in Kripke models of intuitionistic predicate logic. Log. J. IGPL 26(5), 464–474 (2018)
4. Shkarupylo, V.V., Tomičić, I., Kasian, I.M., et al.: An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA + specification. Int J. Softw. Eng. Comput. Syst. (02) 48–60 (2018)
5. Yanhuan, F., Yongming, L.I., Haiyu, P.: Computation tree logic model checking for nondeterminisitc fuzzy Kripke structure. Acta Electron. Sin. 46(1), 152–159 (2018)