Florian Karl Krohm

Follow

Person

Millbrook, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for identifying errors in computer software
- Patent number 7,168,009
- Issue date Jan 23, 2007
- International Business Machines Corporation
- John A. Darringer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for finding errors in software programs using...
- Patent number 7,089,542
- Issue date Aug 8, 2006
- International Business Machines Corporation
- Daniel Brand
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for equivalence-checking combinatorial circuits u...
- Patent number 6,473,884
- Issue date Oct 29, 2002
- International Business Machines Corporation
- Malay Kumar Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for performing functional comparison of combinational circuits
- Patent number 6,035,107
- Issue date Mar 7, 2000
- International Bunsiness Machines Corporation
- Andreas Kuehlmann
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and system for identifying errors in computer software
- Publication number 20050066234
- Publication date Mar 24, 2005
- International Business Machines Corporation
- John A. Darringer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for finding errors in software programs using...
- Publication number 20040117772
- Publication date Jun 17, 2004
- International Business Machines Corporation
- Daniel Brand
- G06 - COMPUTING CALCULATING COUNTING