Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automatic region-based verification of garbage collectors

Automatic region-based verification of garbage collectors

US Patent 8776032 · Granted Jul 8, 2014

Estimated economic value: $25,599,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

End-to-end security for hardware running verified software2018
Automated verification of a software system2017
End-to-end security for hardware running verified software2016
Compiler validation via program verification2014
Automated verification of a type-safe operating system2012
Simple stack types2011
Process isolation using protection domains2011