Formal Proof and Test Case Generation for Critical Embedded Systems Using Scade
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels · 2008
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.