Abstract Error Projection

DOI10.1007/978-3-540-74061-2_13MaRDI QIDQ3612003zbMATH OpenOpenAlexFDO

Authors Akash Lal, Nicholas Kidd, Tayssir Touili, Thomas 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

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

Recommendations

• scientific article; zbMATH DE number 1903343
• Model checking: from hardware to software.
• Natural projection as partial model checking
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Abstractions from proofs

Cited in

(6)

• Comment on ``error rate performance of the projection code
• Projected slabs: approximation of perspective projection and error analysis
• scientific article; zbMATH DE number 2043471 (Why is no real title available?)
• Doomed program points
• Reducing concurrent analysis under a context bound to sequential analysis
• Interprocedural Analysis of Concurrent Programs Under a Context Bound

This page was built for publication: Abstract Error Projection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612003)