Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for the development of high-assurance microcode

Method and system for the development of high-assurance microcode

US Patent 8041554 · Granted Oct 18, 2011

Estimated economic value: $11,371,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

IoT event detector correctness verification2024
Transitioning legacy software to be provably correct2023
Anonymizing sensitive data in logic problems for input to a constraint solver2021
Verified inference engine for autonomy2021
System and method for cooperative operation of piloted and optionally piloted ai2020
Regular expression based cyber fuzzing attack preventer2019
Verified inference engine for autonomy2018
Object designator system and method2018
GPS-enabled cross-domain guard2017
Algorithm agile programmable cryptographic processor2015
High assurance guard for security applications utilizing authentication and auth2014
Method and system for the development of high-assurance computing elements2014