Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025

Computing program equivalence based on a hierarchy of program semantics and related canonical representations

US Patent 9703547 · Granted Jul 11, 2017

Estimated economic value: $1,748,000

Assignee

Inventors

View full patent text on Google Patents →