Schmid, Georg Stefan; Kunčak, Viktor Generalized arrays for Stainless frames. (English) Zbl 1498.68172 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, 332-354 (2022). MSC: 68Q60 03B70 68N30 68V15 PDFBibTeX XMLCite \textit{G. S. Schmid} and \textit{V. Kunčak}, Lect. Notes Comput. Sci. 13182, 332--354 (2022; Zbl 1498.68172) Full Text: DOI
Shimoda, Takumi; Kobayashi, Naoki; Sakayori, Ken; Sato, Ryosuke Symbolic automatic relations and their applications to SMT and CHC solving. (English) Zbl 1497.68320 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 405-428 (2021). MSC: 68Q60 68P05 68Q45 68V15 PDFBibTeX XMLCite \textit{T. Shimoda} et al., Lect. Notes Comput. Sci. 12913, 405--428 (2021; Zbl 1497.68320) Full Text: DOI arXiv
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer Synthesizing precise and useful commutativity conditions. (English) Zbl 1468.68079 J. Autom. Reasoning 64, No. 7, 1333-1359 (2020). MSC: 68P05 68V15 PDFBibTeX XMLCite \textit{K. Bansal} et al., J. Autom. Reasoning 64, No. 7, 1333--1359 (2020; Zbl 1468.68079) Full Text: DOI
Demri, Stéphane; Lozes, Etienne; Lugiez, Denis On symbolic heaps modulo permission theories. (English) Zbl 1491.68050 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018). MSC: 68N30 03B70 68P05 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018; Zbl 1491.68050) Full Text: DOI
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer Automatic generation of precise and useful commutativity conditions. (English) Zbl 1423.68115 Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 115-132 (2018). MSC: 68P05 68T15 PDFBibTeX XMLCite \textit{K. Bansal} et al., Lect. Notes Comput. Sci. 10805, 115--132 (2018; Zbl 1423.68115) Full Text: DOI arXiv
Bansal, Kshitij; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044 Log. Methods Comput. Sci. 14, No. 4, Paper No. 12, 31 p. (2018). MSC: 68P05 03B70 PDFBibTeX XMLCite \textit{K. Bansal} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 12, 31 p. (2018; Zbl 1403.68044) Full Text: DOI arXiv
Bao, Yuyan; Leavens, Gary T.; Ernst, Gidon Unifying separation logic and region logic to allow interoperability. (English) Zbl 1398.68091 Formal Asp. Comput. 30, No. 3-4, 381-441 (2018). MSC: 68N30 03B70 68P05 PDFBibTeX XMLCite \textit{Y. Bao} et al., Formal Asp. Comput. 30, No. 3--4, 381--441 (2018; Zbl 1398.68091) Full Text: DOI
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha Decision procedures for flat array properties. (English) Zbl 1356.03049 J. Autom. Reasoning 54, No. 4, 327-352 (2015). MSC: 03B25 03B35 68P05 68T15 PDFBibTeX XMLCite \textit{F. Alberti} et al., J. Autom. Reasoning 54, No. 4, 327--352 (2015; Zbl 1356.03049) Full Text: DOI Link