Skip to main content
Conference ProceedingsOPEN ACCESS

An example of use of formal methods to debug an embedded software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1051 649-661
DOI: 10.1007/3-540-60973-3_112
0Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

This article releases an industrial experiment of using formal methods to analyze and to debug a system that was shown erroneous by testing. After presenting the industrial context of the experiment, it details the modelling process and the interpretation of the results, in conjunction with the designers of the system.

Cite

CITATION STYLE

APA

Arnold, A., Bégay, D., & Radoux, J. P. (1996). An example of use of formal methods to debug an embedded software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 649–661). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_112

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