Daniel Kroening

Follow

Person

Pittsburgh, PA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system to verify a circuit design by verifying consisten...
- Patent number 7,225,417
- Issue date May 29, 2007
- Carnegie Mellon University
- Edmund M. Clarke
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM TO VERIFY A CIRCUIT DESIGN
- Publication number 20050071147
- Publication date Mar 31, 2005
- Edmund M. Clarke
- G06 - COMPUTING CALCULATING COUNTING