Raya, Rodrigo; Kunčak, Viktor On algebraic array theories. (English) Zbl 07803169 J. Log. Algebr. Methods Program. 136, Article ID 100906, 30 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark Counterexample-guided prophecy for model checking modulo the theory of arrays. (English) Zbl 07596574 Log. Methods Comput. Sci. 18, No. 3, Paper No. 26, 28 p. (2022). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
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 × Cite Format Result Cite Review PDF Full Text: DOI Link