Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › On-the-fly model checking with partial-order state space reduction

On-the-fly model checking with partial-order state space reduction

US Patent 5615137 · Granted Mar 25, 1997

Estimated economic value: $26,130,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Power supply2005
Automatic generation and regeneration of a covering test case set from a model2004
Directly verifying a black box system2003
Interactive software testing system and method2002
Method and apparatus for testing event driven software2002
Verification of message sequence charts2002
Static partial order reduction2001
Verifying hardware in its software context and vice-versa2001
Methods and apparatus for generating passive testers from properties2000
Apparatus and method for communicating data between elements of a distributed sy1998
Message sequence chart analyzer1998
Message sequence chart analyzer1998