Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Implied message sequence charts

Implied message sequence charts

US Patent 6681264 · Granted Jan 20, 2004

Estimated economic value: $21,039,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Incremental update of a shape graph2018
Methods, systems, and computer readable media for generating software defined ne2017
Automatic generation and regeneration of a covering test case set from a model2004
Directly verifying a black box system2003
Model checking of message flow diagrams2003
Model checking of message flow diagrams2003
Model checking of hierarchical state machines2001
Model checking of hierarchical state machines2001
Methods and apparatus for generating passive testers from properties2000
Timing verification by successive approximation1996
Timing verification by successive approximation1996