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
2004-03-08
Conference paper
English
Next generation testing tools for embedded automotive applications
Automotive engineering | 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 Archive | 2008
|Next Generation Automotive Security
British Library Conference Proceedings | 2007
|