Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Publications

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code

  • Author:

    David Faragó, Florian Merz, Carsten Sinz
  • Source:

    Softwaretechnik-Trends, Volume 34, Number 3, Fachgruppenberichte 36. Treffen der GI - Fachgruppe Test, Analyse und Verifikation von Software (TAV-36)