This paper is a tutorial on the principles and applications of static verification of dynamic properties to development, verification and validation of embedded applications. The topics covered include what static verification of dynamic properties is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of run-time errors.
Next Generation Testing Tools for Embedded Automotive Applications
Sae Technical Papers
SAE 2004 World Congress & Exhibition ; 2004
08.03.2004
Aufsatz (Konferenz)
Englisch
Next generation testing tools for embedded automotive applications
Kraftfahrwesen | 2004
|2004-01-0716 Next Generation Testing Tools for Embedded Automotive Applications
British Library Conference Proceedings | 2004
|British Library Conference Proceedings | 2004
|Silicone RTV technologies for next generation automotive applications
Tema Archiv | 2008
|Development Tools for Automotive Embedded Software
SAE Technical Papers | 2008
|