Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Protocol verification using symbolic representations of queues

Protocol verification using symbolic representations of queues

US Patent 5768498 · Granted Jun 16, 1998

Estimated economic value: $23,386,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Detecting package execution for threat assessments2025
Instruction-level threat assessment2024
Intelligently fuzzing data to exercise a service2022
Machine learning for input fuzzing2021
Automatic intelligent cloud service testing tool2021
Testing kernel mode computer code by executing the computer code in user mode2020
Cloud architecture for automated testing2020
Automatic context-sensitive sanitization2018
Micro-execution for software testing2017
Automatic context-sensitive sanitization2014
Memory safety of floating-point computations2014
Incremental compositional dynamic test generation2013