Abstract
In this paper we present how formal methods can be applied to MATLAB programs. We apply a static analysis based on abstract interpretation to derive reachable values and identify potential programming faults fully automatically. Our verification is built on a formalization and abstraction of matrices, structures and data types, such as integers and IEEE-754 floats. Combined with previously presented static analysis for Simulink, our tool can verify block diagrams with embedded MATLAB code. We show the feasibility of our tool and compare our solutions against a commercial tool, using real world applications.
Cite
CITATION STYLE
Dernehl, C., Hansen, N., & Kowalewski, S. (2016). Abstract interpretation of MATLAB code with interval sets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9933 LNCS, pp. 25–38). Springer Verlag. https://doi.org/10.1007/978-3-319-45943-1_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
