Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for verifying abstract memory models of shared memory multiprocessors

Method for verifying abstract memory models of shared memory multiprocessors

US Patent 6892319 · Granted May 10, 2005

Estimated economic value: $10,962,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
Model checking with bounded context switches2010
Precise data-race detection using locksets2010
Sound transaction-based reduction without cycle detection2010