Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Dynamic verification traversal strategies

Dynamic verification traversal strategies

US Patent 7549100 · Granted Jun 16, 2009

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System to combat design-time vulnerability2018
Input space reduction for verification test set generation2017
Input space reduction for verification test set generation2017
Input space reduction for verification test set generation2015
Input space reduction for verification test set generation2015
System to combat design-time vulnerability2015
System verification using one or more automata2007
System verification using one or more automata2007
Resource management during system verification2007
Automaton synchronization during system verification2007
Automaton synchronization during system verification2007