Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Black-Box BMC

| Beteiligte Mitarbeiter | Publikationen |


Beteiligte Mitarbeiter

ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur
Marc Herbstritt, Dr. Kontakt


Publikationen
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.