Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico LTL falsification in infinite-state systems. (English) Zbl 07629158 Inf. Comput. 289, Part A, Article ID 104977, 43 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Cimatti} et al., Inf. Comput. 289, Part A, Article ID 104977, 43 p. (2022; Zbl 07629158) Full Text: DOI
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. (English) Zbl 1443.68104 Inf. Comput. 272, Article ID 104502, 17 p. (2020). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Inf. Comput. 272, Article ID 104502, 17 p. (2020; Zbl 1443.68104) Full Text: DOI