Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Program verification through symbolic enumeration of control path programs

Program verification through symbolic enumeration of control path programs

US Patent 8402440 · Granted Mar 19, 2013

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Smart translation systems2025
Automatic generation of patches for security violations2024
Method and system providing automated support for cross-cloud hybridity services2021
Virtual network operations center for cross-cloud hybrid services upgradability2021
Cross-cloud object mapping for hybrid clouds2021
Cross-cloud object mapping for hybrid clouds2019
Shield for zero-turn mowers2019
Automated table transformations from examples2018
Testing applications with a defined input format2018
Testing applications with a defined input format2018
Offline queries in software defined networks2017
Cross-cloud object mapping for hybrid clouds2017