Modeling, optimization and computation for software verification

DOI10.1007/978-3-540-31954-2_39MaRDI QIDQ5703955zbMATH OpenOpenAlexFDO

Authors Mardavij Roozbehani, Eric Feron, A. Megretski

Publication date 11 November 2005

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

Full work available at URL https://doi.org/10.1007/b106766

Mathematics Subject Classification ID

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

Recommendations

• Credible autocoding of convex optimization algorithms
• Software verification based on linear programming
• Software model checking with abstraction refinement
• Mathematical programming based debugging
• Software model checking

Cited in

(11)

• Estimating the maximum rise in temperature according to climate models using abstract interpretation
• Credible autocoding of convex optimization algorithms
• Mathematical programming based debugging
• Program analysis using quantifier-elimination heuristics (extended abstract)
• scientific article; zbMATH DE number 5994839 (Why is no real title available?)
• Modeling for Verification
• Synergistic verification and validation of systems and software engineering models
• Rule-based analysis of dimensional safety
• Software verification based on linear programming
• From Verification to Optimizations
• Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case

This page was built for publication: Modeling, optimization and computation for software verification

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