Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Modeling non-deterministic priority queues for efficient model checking

Modeling non-deterministic priority queues for efficient model checking

US Patent 7990980 · Granted Aug 2, 2011

Estimated economic value: $4,890,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Query completions2025
Autonomous vehicles implementing user-based ethical decision making2024
Query completions2024
Method and system for facilitating keyword-based searching in images2024
Private and non-private tasks in augmented reality systems2024
Biasing voice correction suggestions2024
User-based ethical decision making by self-driving cars2023
Query completions2023
Systems and methods for monitoring medication effectiveness2023
Private and non-private tasks in augmented reality systems2022
Method and system for facilitating keyword-based searching in images2022
Biasing voice correction suggestions2022