Author:
Dong Wenting,Yin Jiaqi,Chen Sini,Zhu Huibiao
Publisher
Springer Nature Singapore
Reference20 articles.
1. Antonino, P., Gibson-Robinson, T., Roscoe, A.: Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving. ACM Trans. Softw. Eng. Methodol. 28(3), 1–43 (2019)
2. Bowen, J.P., Hinchey, M.G.: Formal methods. In: Tucker, A.B. (ed.) Computer Science Handbook, 2nd edn, Section XI, Software Engineering, chap. 106, pp. 106–1–106–25. CRC Press, Boca Raton (2004)
3. Bu, L., et al.: Toward online hybrid systems model checking of cyber-physical systems’ time-bounded short-run behavior. ACM SIGBED Rev. 8(2), 7–10 (2011)
4. Lecture Notes in Computer Science;S Chand,2016
5. Chen, N., Zhu, H., Yin, J., Fei, Y., Xiao, L., Zhu, M.: Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process 34(10), e2371 (2022)