Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Symbolic execution of alternative branches

Symbolic execution of alternative branches

US Patent 10503633 · Granted Dec 10, 2019

Estimated economic value: $5,388,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Unit-level formal verification for vehicular software systems2018
Unit-level formal verification for vehicular software systems2018
Unit-level formal verification for vehicular software systems2018
Unit-level formal verification for vehicular software systems2017
Directing verification towards bug-prone portions2016
Dominant-state-based coverage metric2014
BDD-based functional coverage analysis2014
BDD-based functional modeling2013
Proof based bounded model checking2013
Model generation based on a constraint and an initial model2013
Verification using directives having local variables2012
Proof based bounded model checking2012