Reachability Analysis of Program Variables

DOI10.1007/978-3-642-31365-3_33zbMath1358.68075OpenAlexW75979710MaRDI QIDQ2908512

Đurica Nikolić, Fausto Spoto

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_33

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Inferring complete initialization of arrays

This page was built for publication: Reachability Analysis of Program Variables