A change-based heuristic for static analysis with policy iteration

DOI10.1007/978-3-030-32304-2_5MaRDI QIDQ6536281zbMATH OpenFDO

Authors Marcus Völker, Stefan Kowalewski

Publication date 19 April 2024

zbMATH Keywords

policy iterationdataflow analysisvalue-set analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Computer Aided Verification
• Static Analysis by Policy Iteration on Relational Domains
• Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
• A sums-of-squares extension of policy iterations
• Program analysis with local policy iteration

Cites work

• scientific article; zbMATH DE number 3148886 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1738295 (Why is no real title available?)
• Computer Aided Verification
• Logico-numerical max-strategy iteration
• Precise Fixpoint Computation Through Strategy Iteration
• Static Analysis by Policy Iteration on Relational Domains
• The octagon abstract domain
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: A change-based heuristic for static analysis with policy iteration

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