Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Scope bounding with automated specification inference for scalable software model checking

Scope bounding with automated specification inference for scalable software model checking

US Patent 8719793 · Granted May 6, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Power conversion device control system2025
Smart translation systems2025
Automatic generation of patches for security violations2024
System interconnection power conversion device2024
Vehicle wire harness with sheath covering cables2022
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
Testing applications with a defined input format2018
Testing applications with a defined input format2018
Offline queries in software defined networks2017