Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Systems and methods for model checking the precision of programs employing floating-point operations

Systems and methods for model checking the precision of programs employing floating-point operations

US Patent 8539451 · Granted Sep 17, 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
Diversifying stimulus generation in constrained random simulation by learning di2023
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
System and method for netlist clock domain crossing verification2017
Cross-cloud object mapping for hybrid clouds2017