Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Weakest precondition analysis

Weakest precondition analysis

US Patent 6374368 · Granted Apr 16, 2002

Estimated economic value: $163,345,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Discharge casing insert for pump performance characteristics control2021
Apparatus connecting rotary blade unmanned aerial vehicles2019
Selectively loading precompiled header(s) and/or portion(s) thereof2017
Conveyor systems having intermediate rollers2013
Efficient incremental parsing of context sensitive programming languages2013
Annotating exception information in a computer program2012
Mixed types2010
Software development infrastructure2010
Whitespace keywords2009
Strain relief for a flat flexible cable2008
Sensor assembly and method of forming the same2008
Description language for an extensible compiler and tools infrastructure2007