Numerical power analysis

DOI10.1007/3-540-44978-7_8MaRDI QIDQ4530865zbMATH OpenFDO

Authors Isabella Mastroeni

Publication date 9 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44978-7_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Algebraic power analysis by abstract interpretation
• Static Analysis in Disjunctive Numerical Domains
• Static Analysis of Numerical Algorithms
• A new numerical abstract domain based on difference-bound matrices
• Non-disjunctive Numerical Domain for Array Predicate Abstraction

Cited in

(5)

• Simulated power functions
• Algebraic power analysis by abstract interpretation
• Static Analysis in Disjunctive Numerical Domains
• Verification, Model Checking, and Abstract Interpretation
• Analytical calculations of various powers assuming normality

This page was built for publication: Numerical power analysis

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