Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for analyzing computer code using weakest precondition

Method and apparatus for analyzing computer code using weakest precondition

US Patent 6029002 · Granted Feb 22, 2000

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System for and methods of providing computer telephony integration service orien2016
Background noise contrast reduction for handovers involving a change of speech c2003
Process and tool for scalable automated data field replacement1998
Process and tool for scalable automated data field replacement1998
Process and tool for scalable automated data field replacement1998
Process and tool for scalable automated data field replacement1998
Arrangement for routing data packets through a circuit switch1985