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

Verification of message sequence charts

US Patent 6346879 · Granted Feb 12, 2002

Estimated economic value: $50,401,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Power supply2005
Directly verifying a black box system2003
Interactive software testing system and method2002
Static partial order reduction2001
Verifying hardware in its software context and vice-versa2001
Message sequence chart analyzer1998
On-the-fly model checking with partial-order state space reduction1997