(19)
(11) EP 2 718 822 A1

(12)

(43) Veröffentlichungstag:
16.04.2014  Patentblatt  2014/16

(21) Anmeldenummer: 12729912.1

(22) Anmeldetag:  05.06.2012
(51) Internationale Patentklassifikation (IPC): 
G06F 11/36(2006.01)
(86) Internationale Anmeldenummer:
PCT/EP2012/060585
(87) Internationale Veröffentlichungsnummer:
WO 2012/168231 (13.12.2012 Gazette  2012/50)
(84) Benannte Vertragsstaaten:
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR

(30) Priorität: 08.06.2011 DE 102011077177

(71) Anmelder: Universität Bremen
28359 Bremen (DE)

(72) Erfinder:
  • FEY, Görschwin
    28215 Bremen (DE)
  • SÜLFLOW, André
    28201 Bremen (DE)
  • DRECHSLER, Rolf
    28359 Bremen (DE)

(74) Vertreter: Fink Numrich 
Patentanwälte European Patent and Trademark Attorneys Wendl-Dietrich-Straße 14
D-80634 München
D-80634 München (DE)

   


(54) VERFAHREN ZUR RECHNERGESTÜTZTEN ANALYSE VON FEHLERHAFTEM QUELLCODE IN EINER HARDWARE-BESCHREIBUNGSSPRACHE