Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Unifying type checking and property checking for low level programs

Unifying type checking and property checking for low level programs

US Patent 8813043 · Granted Aug 19, 2014

Estimated economic value: $30,011,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automated merge conflict resolution with transformers2024
Language interoperability to automate code analysis2023
Language interoperability to automate code analysis2021
Identifying implicit assumptions associated with a software product2019
Systematic testing of failover and recovery for distributed system components2019
Test components factorization in a build system2019
Data processing service2019
Memory access and detecting memory failures using dynamically replicated memory 2018
Semantic baselining2018
Verification of a wireless protocol implementation2018
Identifying implicit assumptions associated with a software product2016
Static verification of parallel program code2016