Abstract Error Projection

DOI10.1007/978-3-540-74061-2_13zbMath1211.68091OpenAlexW1485975206MaRDI QIDQ3612003

Nicholas Kidd, Tayssir Touili, Akash Lal, Thomas W. Reps

Publication date: 3 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Interprocedural Analysis of Concurrent Programs Under a Context Bound ⋮ Reducing concurrent analysis under a context bound to sequential analysis

This page was built for publication: Abstract Error Projection