Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Forschungsgruppe
Veröffentlichungen

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

  • Autor:

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

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