Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Compiler validation via program verification

Compiler validation via program verification

US Patent 8843908 · Granted Sep 23, 2014

Estimated economic value: $34,148,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
Test components factorization in a build system2019
End-to-end security for hardware running verified software2018
Semantic baselining2018
Verification of a wireless protocol implementation2018
Automated verification of a software system2017
End-to-end security for hardware running verified software2016
Unifying type checking and property checking for low level programs2014
Reducing false alarms for static analysis of concurrent programs2014
Automatic region-based verification of garbage collectors2014