Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Device, system and method for formal verification

Device, system and method for formal verification

US Patent 7725851 · Granted May 25, 2010

Estimated economic value: $4,007,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Selective streaming of video segments based on buffer data and download rate ran2025
Method for approximate k-nearest-neighbor search on parallel hardware accelerato2023
Selective streaming of video segments based on buffer data and download rate ran2023
Automated materialized view table generation and maintenance2022
Systems, devices, and methods for content indexing and querying in a search syst2022
Scalable conflict detection in transaction management2022
Method for approximate k-nearest-neighbor search on parallel hardware accelerato2022
Management of transactions in a distributed transaction system2021
Systems, devices, and methods for content indexing and querying in a search syst2020
User authentication based on predictive applications2020
Feature vector aggregation for malware detection2020
Method and system for committing transactions in a semi-distributed manner2020