- All sections
- G - Physics
- G06F - Electric digital data processing
- G06F 11/3604 - Analysis of software for verifying properties of programs
Patent holdings for IPC class G06F 11/3604
Total number of patents in this class: 105
10-year publication summary
|
0
|
0
|
0
|
0
|
1
|
2
|
8
|
27
|
27
|
41
|
| 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 |
Principal owners for this class
| Owner |
All patents
|
This class
|
|---|---|---|
| Capital One Services, LLC. | 9163 |
6 |
| Twilio, Inc. | 587 |
5 |
| International Business Machines Corporation | 61257 |
3 |
| Bank of America Corporation | 7554 |
3 |
| Robert Bosch GmbH | 42684 |
3 |
| Amazon Technologies, Inc. | 26716 |
3 |
| Cisco Technology, Inc. | 19929 |
2 |
| Denso Corporation | 24316 |
2 |
| Oracle International Corporation | 12946 |
2 |
| Dell Products L.P. | 14530 |
2 |
| salesforce.com, inc. | 5612 |
2 |
| Fidelity Information Services, LLC | 597 |
2 |
| Google LLC | 42261 |
2 |
| Aurora Labs Ltd. | 130 |
2 |
| Devfactory Innovations FZ-LLC | 68 |
2 |
| Grokit Data, Inc. | 32 |
2 |
| Ropes AI Inc. | 6 |
2 |
| Disney Enterprises, Inc. | 6108 |
1 |
| Apple Inc. | 54937 |
1 |
| Hoffmann-La Roche Inc. | 3422 |
1 |
| Other owners | 57 |