Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Software architecture for validating C++ programs using symbolic execution

Software architecture for validating C++ programs using symbolic execution

US Patent 8869113 · Granted Oct 21, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Defect monitoring apparatus and detection method for transformer oil conservator2025
Gripper mechanism2025
Vehicle routing problem (VRP) solution using annealer-based solvers2025
Frequency-adjustable water dripping device2025
Route generation for vehicle routing problem and variants thereof2024
Shield tunnel segment structure and construction method thereof2024
Fatigue bending and folding test device for ultra-thin metal strip2024
Methods of using metal complexes to promote wound healing2024
Control method and system for distribution network with distributed mobile energ2023
High-strength concrete and preparation method thereof2023
Method and device for evaluating long-term operation of transformer oil pump2023
Network node clustering2023