Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Model checking with bounded context switches

Model checking with bounded context switches

US Patent 7779382 · Granted Aug 17, 2010

Estimated economic value: $13,094,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Identifying implicit assumptions associated with a software product2019
Systematic testing of failover and recovery for distributed system components2019
Identifying implicit assumptions associated with a software product2016
Static verification of parallel program code2016
Fair stateless model checking2015
Concurrent assertion2015
Identifying execution paths that satisfy reachability queries2015
Unifying type checking and property checking for low level programs2014
Testing multi-thread software using prioritized context switch limits2011
Analysis of distributed software systems via specification substitution2010
Precise data-race detection using locksets2010
Sound transaction-based reduction without cycle detection2010