F. Krohm

Equivalence Checking Using Cuts And Heaps

A. Kuehlmann, F. Krohm, 1997, Proceedings of the 34th Design Automation Conference.

Equivalence checking using cuts and heaps

Andreas Kuehlmann, Florian Krohm, A. Kuehlmann, 1997, DAC.

Arithmetic Reasoning for Static Analysis of Software

F. Krohm, 2003 .

Robust Boolean reasoning for equivalence checking and functional property verification

Malay K. Ganai, Andreas Kuehlmann, Florian Krohm, 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

The use of random simulation in formal verification

Andreas Kuehlmann, Florian Krohm, Arjen Mets, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.