|
(11) | EP 2 718 822 A1 |
| (12) |
|
|
|
|
|||||||||||||||||||
| (54) | VERFAHREN ZUR RECHNERGESTÜTZTEN ANALYSE VON FEHLERHAFTEM QUELLCODE IN EINER HARDWARE-BESCHREIBUNGSSPRACHE |