Author:
Chen Yu,Zhang Xiaoyu,Li Jianwen
Publisher
Springer Nature Singapore
Reference28 articles.
1. Bae, K., Lee, J.: Bounded model checking of signal temporal logic properties using syntactic separation. In: Proceedings of the ACM on Programming Languages 3(POPL), pp. 1–30 (2019)
2. Lecture Notes in Computer Science;D Bjørner,2014
3. Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking-History, Achievements, Perspectives (2008)
4. Feng, J., et al.: FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. In: ESEC/FSE 2020: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1376–1386 (2020)
5. Song, F., Wu, Z.: Extending temporal logics with data variable quantifications. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献