Array Folds Logic
From MaRDI portal
Publication:4633555
DOI10.1007/978-3-319-41540-6_13zbMath1411.68061arXiv1603.06850OpenAlexW2310431176MaRDI QIDQ4633555
Andrey Kupriyanov, Przemysław Daca, Thomas A. Henzinger
Publication date: 3 May 2019
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.06850
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
NP satisfiability for arrays as powers ⋮ Generalized arrays for Stainless frames ⋮ A solver for arrays with concatenation ⋮ On algebraic array theories
This page was built for publication: Array Folds Logic
