Logico-numerical max-strategy iteration

DOI10.1007/978-3-642-35873-9_25MaRDI QIDQ2926655zbMATH OpenOpenAlexFDO

Authors Peter Schrammel, Pavle Subotić

Publication date 3 November 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://sro.sussex.ac.uk/id/eprint/60807/1/vmcai13.pdf

zbMATH Keywords

abstract interpretationstatic analysisstrategy iterationverification

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Policy iteration within logico-numerical abstract domains
• Abstract interpretation meets convex optimization
• Computer Aided Verification
• Improving strategies via SMT solving
• Static Analysis by Policy Iteration on Relational Domains

Cited in

(3)

• Improving strategies via SMT solving
• Policy iteration within logico-numerical abstract domains
• A change-based heuristic for static analysis with policy iteration

This page was built for publication: Logico-numerical max-strategy iteration

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