Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Verification using directives having local variables

Verification using directives having local variables

US Patent 8219376 · Granted Jul 10, 2012

Estimated economic value: $6,782,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Symbolic execution of alternative branches2019
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
Directing verification towards bug-prone portions2016
Conducting verification in event processing applications using formal methods2015
Dominant-state-based coverage metric2014
Dominant-state-based coverage metric2014
Model generation based on a constraint and an initial model2013
Device, system and method for formal verification2010