Permission inference for array programs

DOI10.1007/978-3-319-96142-2_7zbMath1511.68075arXiv1804.04091OpenAlexW2964227339MaRDI QIDQ6039395

Alexander J. Summers, Severin Münger, Jérôme Dohrau, Caterina Urban, Peter Müller

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.04091

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Permission inference for array programs