Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9983926 | Apparatus, system and method for protecting data | — | 2018-05-29 |
| 8914682 | Apparatus and method for the protection and for the non-destructive testing of safety-relevant registers | — | 2014-12-16 |
| 8875074 | Formal fault detection | — | 2014-10-28 |
| 8166430 | Method for determining the quality of a quantity of properties, to be employed for verifying and specifying circuits | Jörg Bormann | 2012-04-24 |
| 7571398 | Method for the determination of the quality of a set of properties, usable for the verification and specification of circuits | Jörg Bormann | 2009-08-04 |
| 7174522 | Method and device for circuit verification | — | 2007-02-06 |