Semiformal verification of temporal properties in automotive hardware dependent software.

Djones Lettnin, Pradeep Kumar Nalla, Jrg Behrend, Jrgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schnknecht, Stephan Reitemeyer

Browse the full DATE paper archive.