Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for verifying safety properties of java byte code programs

Method for verifying safety properties of java byte code programs

US Patent 7181725 · Granted Feb 20, 2007

Estimated economic value: $14,240,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Vehicle electric charging schedule selection and evolution based on multiple wei2014
Item-level access tracking using tag writing events2010
Enterprise secure messaging architecture2007
Manufacturing process for an electronic device1990
Spring guide rail with several centering fingers1984