Skip to main content
Conference Proceedings

Random: R-based analyzer for numerical domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012) 7180 LNCS 375-382
DOI: 10.1007/978-3-642-28717-6_29
11Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We present the tool Random (R-based Analyzer for Numerical DOMains) for static analysis of imperative programs. The tool is based on the theory of abstract interpretation and implements several abstract domains for detecting numerical properties, in particular integer loop invariants. The tool combines a statistical dynamic analysis with a static analysis on the new domain of parallelotopes. The tool has a graphical interface for tuning the parameters of the analysis and visualizing partial traces. © 2012 Springer-Verlag.

Cite

CITATION STYLE

APA

Amato, G., & Scozzari, F. (2012). Random: R-based analyzer for numerical domains. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7180 LNCS, pp. 375–382). https://doi.org/10.1007/978-3-642-28717-6_29

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free