Inventor · disambiguated record

Edmund M. Clarke

Also filed as: CLARKE EDMUND M

2 granted patents·9 citations·filing 2004–2005

53Inventor score

Technology areasG06F

Files withUNIV CARNEGIE MELLON2

Top patents by PatentIndex Score

2 records

0167US7418680B2Method and system to check correspondence between different representations of a circuitUNIV CARNEGIE MELLON·Filed 2005·Granted Aug 26, 2008·7 cites·22 claims
0246US7225417B2Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit designUNIV CARNEGIE MELLON·Filed 2004·Granted May 29, 2007·2 cites·39 claims

Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →