Abstract Semantic Differencing for Numerical Programs

DOI10.1007/978-3-642-38856-9_14zbMath1475.68096OpenAlexW1750827721MaRDI QIDQ2870770

Eran Yahav, Nimrod Partush

Publication date: 21 January 2014

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38856-9_14

Mathematics Subject Classification ID

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

Related Items (3)

Symbolic automata for representing big code ⋮ Product programs and relational program logics ⋮ Modular Verification of Procedure Equivalence in the Presence of Memory Allocation

This page was built for publication: Abstract Semantic Differencing for Numerical Programs