Edmund M. Clarke

Follow

Person

Mt. Lebanaon, PA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system to check correspondence between different represe...
- Patent number 7,418,680
- Issue date Aug 26, 2008
- Carnegie Mellon University
- Edmund M. Clarke
- G06 - COMPUTING CALCULATING COUNTING
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 check correspondence between different represe...
- Publication number 20050210433
- Publication date Sep 22, 2005
- Edmund M. Clarke
- G06 - COMPUTING CALCULATING COUNTING
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