Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Efficient decision procedure for bounded integer non-linear operations using SMT(LIA)

Efficient decision procedure for bounded integer non-linear operations using SMT(LIA)

US Patent 8131661 · Granted Mar 6, 2012

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
Scenario driven concurrency bugs: model and check2014
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
Modeling and verification of concurrent systems using SMT-based BMC2011