Skip to main content
Conference ProceedingsOPEN ACCESS

Formal proof and test case generation for critical embedded systems using SCADE

IFIP Advances in Information and Communication Technology (2004) 156 499-504
DOI: 10.1007/978-1-4020-8157-6_44
8Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

This paper presents the work done within two research projects on the capability to use formal proof techniques for verifying properties and on the feasibility of automatic test generation for operational avionics systems. © 2004 Springer Science + Business Media, Inc.

Author supplied keywords

Cite

CITATION STYLE

APA

Durrieu, G., Laurent, O., Seguin, C., & Wiels, V. (2004). Formal proof and test case generation for critical embedded systems using SCADE. In IFIP Advances in Information and Communication Technology (Vol. 156, pp. 499–504). Springer New York LLC. https://doi.org/10.1007/978-1-4020-8157-6_44

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