Li, Yi; Li, Xie; Li, Yong; Sun, Xuechao; Turrini, Andrea; Zhang, Lijun Synthesizing ranking functions for loop programs via SVM. (English) Zbl 07601536 Theor. Comput. Sci. 935, 1-20 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 935, 1--20 (2022; Zbl 07601536) Full Text: DOI
Xu, Ming; Deng, Yuxin Time-bounded termination analysis for probabilistic programs with delays. (English) Zbl 1496.68120 Inf. Comput. 275, Article ID 104634, 24 p. (2020). MSC: 68N30 68Q45 68Q60 68W30 PDFBibTeX XMLCite \textit{M. Xu} and \textit{Y. Deng}, Inf. Comput. 275, Article ID 104634, 24 p. (2020; Zbl 1496.68120) Full Text: DOI
Diallo, Nafi; Ghardallou, Wided; Desharnais, Jules; Mili, Ali Convergence: integrating termination and abort-freedom. (English) Zbl 1395.68091 J. Log. Algebr. Methods Program. 97, 1-29 (2018). MSC: 68N30 PDFBibTeX XMLCite \textit{N. Diallo} et al., J. Log. Algebr. Methods Program. 97, 1--29 (2018; Zbl 1395.68091) Full Text: DOI
Beyene, Tewodros A.; Popeea, Corneliu; Rybalchenko, Andrey Efficient CTL verification via Horn constraints solving. (English) Zbl 1482.68134 Gallagher, John P. (ed.) et al., Proceedings of the third workshop on Horn clauses for verification and synthesis, HCVS 2016, Eindhoven, The Netherlands, April 3, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 219, 1-14 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{T. A. Beyene} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 219, 1--14 (2016; Zbl 1482.68134) Full Text: arXiv Link
Li, Yi Termination of single-path polynomial loop programs. (English) Zbl 1482.68090 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 33-50 (2016). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Li}, Lect. Notes Comput. Sci. 9965, 33--50 (2016; Zbl 1482.68090) Full Text: DOI
Babić, Domagoj; Cook, Byron; Hu, Alan J.; Rakamarić, Zvonimir Proving termination of nonlinear command sequences. (English) Zbl 1298.68164 Formal Asp. Comput. 25, No. 3, 389-403 (2013). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{D. Babić} et al., Formal Asp. Comput. 25, No. 3, 389--403 (2013; Zbl 1298.68164) Full Text: DOI
Cook, Byron; Koskinen, Eric; Vardi, Moshe Temporal property verification as a program analysis task. (English) Zbl 1284.68171 Form. Methods Syst. Des. 41, No. 1, 66-82 (2012). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{B. Cook} et al., Form. Methods Syst. Des. 41, No. 1, 66--82 (2012; Zbl 1284.68171) Full Text: DOI Link
Orzan, Simona; Willemse, Tim A. C. Invariants for parameterised Boolean equation systems. (English) Zbl 1191.68415 Theor. Comput. Sci. 411, No. 11-13, 1338-1371 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Orzan} and \textit{T. A. C. Willemse}, Theor. Comput. Sci. 411, No. 11--13, 1338--1371 (2010; Zbl 1191.68415) Full Text: DOI Link
Gulavani, Bhargav S.; Gulwani, Sumit A numerical abstract domain based on expression abstraction and max operator with application in timing analysis. (English) Zbl 1155.68366 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 370-384 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{B. S. Gulavani} and \textit{S. Gulwani}, Lect. Notes Comput. Sci. 5123, 370--384 (2008; Zbl 1155.68366) Full Text: DOI