Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for verifying properties of source code

Method and system for verifying properties of source code

US Patent 10877870 · Granted Dec 29, 2020

Estimated economic value: $2,821,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for function call and variable access based relaxed backward s2025
Method and system for mapping intermediate representation objects for facilitati2024
Method and system for identifying static analysis alarms based on semantics of c2024
Method and system for identifying relevant changes for incremental verification 2024
Systems and methods for selective path sensitive interval analysis2023
System and method for software verification2022
System and method for software verification2022
Method and system for counter example guided loop abstraction refinement2021
Loop abstraction for model checking2015
Loop abstraction for model checking2015
System and method for automatic test data generation for relational testing2013