Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Deductive verification for programs using functional programming features

Deductive verification for programs using functional programming features

US Patent 10733074 · Granted Aug 4, 2020

Estimated economic value: $210,977,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Transitioning legacy software to be provably correct2023
Automated software verification service2022
Systems and/or methods for type inference from machine code2021
Automated software verification service2020
Systems and/or methods for type inference from machine code2019
System and method for acquisition of related graphical material in a digital gra2004
Method and apparatus for computing motion tracking parameters2004
Method and apparatus for correcting pixel values in a digital image2000
Method and apparatus for removing temporal lighting variations from an image sou2000
System and method for finding the center of approximately circular patterns in i2000
System and article of manufacture for producing an index print from photographic1999
Gradient based method for providing values for unknown pixels in a digital image1999