Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automated verification of a type-safe operating system

Automated verification of a type-safe operating system

US Patent 8341602 · Granted Dec 25, 2012

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Dog vest with pockets2023
End-to-end security for hardware running verified software2018
Privacy verification tool2018
Automated verification of a software system2017
End-to-end security for hardware running verified software2016
Method of manufacturing solar cell electrode2016
Privacy verification tool2015
Compiler validation via program verification2014
Automatic region-based verification of garbage collectors2014
Simple stack types2011
Process isolation using protection domains2011
Shoe bottom2002