Next Generation Testing Tools for Embedded Automotive Applications
Alain Deutsch · SAE technical papers on CD-ROM/SAE technical paper series · 2004
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.