Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Software verification using hybrid explicit and symbolic model checking

Software verification using hybrid explicit and symbolic model checking

US Patent 8209667 · Granted Jun 26, 2012

Estimated economic value: $15,244,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
Private and non-private tasks in augmented reality systems2024
Biasing voice correction suggestions2024
User-based ethical decision making by self-driving cars2023
Query completions2023
Private and non-private tasks in augmented reality systems2022
Biasing voice correction suggestions2022
Augmented reality skin executions2022
Navigation in vehicles and in autonomous cars2021
Markers for augmented reality2021