Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Efficient model checking technique for finding software defects

Efficient model checking technique for finding software defects

US Patent 9208057 · Granted Dec 8, 2015

Estimated economic value: $40,544,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automated function category detection2023
Encoding dependencies in call graphs2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Happens-before-based dynamic concurrency analysis for actor-based programs2020
Efficient timestamp solution for analyzing concurrent software systems2020
Path-sensitive analysis framework for bug checking2015
Method and system for performing backward-driven path-sensitive dataflow analysi2014
Efficient model checking technique for finding software defects2014
Efficient model checking technique for finding software defects2014
System and method for overflow detection using partial evaluations2013
Layered static program analysis framework for software testing2013
Context-sensitive analysis framework using value flows2013