A change-based heuristic for static analysis with policy iteration

DOI10.1007/978-3-030-32304-2_5zbMATH Open1539.68076MaRDI QIDQ6536281FDOQ6536281

Authors: Marcus Völker, Stefan Kowalewski 

Publication date: 19 April 2024

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

zbMATH Keywords

policy iterationdataflow analysisvalue-set analysis

Mathematics Subject Classification ID

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

Cites Work

• The octagon abstract domain
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Static Analysis by Policy Iteration on Relational Domains
• Precise Fixpoint Computation Through Strategy Iteration
• Verification, Model Checking, and Abstract Interpretation
• Logico-numerical max-strategy iteration

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)