Solving and interpolating constant arrays based on weak equivalences

DOI10.1007/978-3-030-11245-5_14OpenAlexW2911031299MaRDI QIDQ2287092

Jochen Hoenicke, Tanja I. Schindler

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Interpolation Results for Arrays with Length and MaxDiff

This page was built for publication: Solving and interpolating constant arrays based on weak equivalences