scientific article; zbMATH DE number 1746686

zbMATH Open0986.68056MaRDI QIDQ4530865FDOQ4530865

Authors: Isabella Mastroeni 

Publication date: 9 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Algebraic power analysis by abstract interpretation
• Static Analysis in Disjunctive Numerical Domains
• Static Analysis of Numerical Algorithms
• scientific article; zbMATH DE number 1738295
• Non-disjunctive Numerical Domain for Array Predicate Abstraction

Mathematics Subject Classification ID

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

Cited In (5)

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

This page was built for publication:

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