Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Scenario driven concurrency bugs: model and check

Scenario driven concurrency bugs: model and check

US Patent 8707272 · Granted Apr 22, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Diversifying stimulus generation in constrained random simulation by learning di2023
System and method for netlist clock domain crossing verification2017
System and method for model checking by interleaving stateless and state-based m2013
Integrating interval constraint propagation with nonlinear real arithmetic2013
Efficient decision method for real non-linear arithmetic constraints2013
Systems and methods for model checking the precision of programs employing float2013
DPLL-based SAT solver using with application-aware branching2013
Parallelizing bounded model checking using tunnels over a distributed framework2013
Methods and systems for reducing verification conditions for concurrent programs2013
Software verification using range analysis2012
Efficient decision procedure for bounded integer non-linear operations using SMT2012
Modeling and verification of concurrent systems using SMT-based BMC2011