Black-Box BMC
| Beteiligte Mitarbeiter | Publikationen
|
| ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur | |
| Marc Herbstritt, Dr. | Kontakt |
|
Marc Herbstritt, Dr., Bernd Becker, Prof. Dr. On Combining 01X-Logic and QBF Proceedings of 11th International Conference on Computer Aided Systems Theory, Applied Formal Verification Track, (EuroCAST 2007), Las Palmas de Gran Canaria, Canary Islands, Spain, February 12-16 2007. Springer LNCS. |
|
Marc Herbstritt, Dr., Bernd Becker, Prof. Dr. Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs Proceedings of 7. IEEE International Workshop on Microprocessor Test and Verification (MTV 2006), pp. 37-44, Austin (TX), USA, December 04-05 2006. |
|
Marc Herbstritt, Dr., Bernd Becker, Prof. Dr. On Bounded Invariant Checking of Blackbox Designs Proceedings of 6. IEEE International Workshop on Microprocessor Test and Verification (MTV 2005), pp. 23-28, Austin (TX), USA, November 03-04 2005. |