Author:
Li Jianwen,Zhu Shufang,Pu Geguang,Vardi Moshe Y.
Publisher
Springer International Publishing
Reference33 articles.
1. Lecture Notes in Computer Science;AR Bradley,2011
2. Lecture Notes in Computer Science;R Cavada,2014
3. Claessen, K., Sörensson, N.: A liveness checking algorithm that counts. In: Cabodi, G., Singh, S. (ed.) FMCAD, pp. 52–59. IEEE (2012)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Courcoubetis, C., Vardi, M.Y., Wolper, P., Yannakakis, M.: Memory efficient algorithms for the verification of temporal properties. Formal Methods Syst. Des. 1, 275–288 (1992)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter;Journal of Systems and Software;2024-07
3. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11