Ernst, Gidon Loop verification with invariants and contracts. (English) Zbl 1498.68074 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 69-92 (2022). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{G. Ernst}, Lect. Notes Comput. Sci. 13182, 69--92 (2022; Zbl 1498.68074) Full Text: DOI arXiv OpenURL
Salamati, Ali; Soudjani, Sadegh; Zamani, Majid Data-driven verification of stochastic linear systems with signal temporal logic constraints. (English) Zbl 1478.93672 Automatica 131, Article ID 109781, 10 p. (2021). MSC: 93E03 93C05 03B44 62F15 PDF BibTeX XML Cite \textit{A. Salamati} et al., Automatica 131, Article ID 109781, 10 p. (2021; Zbl 1478.93672) Full Text: DOI OpenURL
Beyer, Dirk; Dangl, Matthias Software verification with PDR: an implementation of the state of the art. (English) Zbl 1507.68178 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 3-21 (2020). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{D. Beyer} and \textit{M. Dangl}, Lect. Notes Comput. Sci. 12078, 3--21 (2020; Zbl 1507.68178) Full Text: DOI arXiv OpenURL
Hajdu, Ákos; Micskei, Zoltán Efficient strategies for CEGAR-based model checking. (English) Zbl 1468.68131 J. Autom. Reasoning 64, No. 6, 1051-1091 (2020). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{Á. Hajdu} and \textit{Z. Micskei}, J. Autom. Reasoning 64, No. 6, 1051--1091 (2020; Zbl 1468.68131) Full Text: DOI OpenURL