Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Protocol checking for concurrent systems

Protocol checking for concurrent systems

US Patent 6178394 · Granted Jan 23, 2001

Estimated economic value: $53,311,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