G06F 11/3608
Using formal methods
Official title: {using formal methods, e.g. model checking, abstract interpretation (theorem proving G06N5/013)}
G06F11/3608 (Using formal methods) appears on 852 US grants and 1,044 published applications in this corpus.
Search patents in G06F- Granted patents
- 852
- Published applications
- 1,044
- Assignees
- 330
- Inventors
- 2,451
- Latest grant
- 6 Oct 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1994 | 2 | 0 |
| 1995 | 1 | 0 |
| 1996 | 3 | 0 |
| 1997 | 2 | 0 |
| 1998 | 0 | 0 |
| 1999 | 1 | 0 |
| 2000 | 0 | 0 |
| 2001 | 7 | 1 |
| 2002 | 7 | 12 |
| 2003 | 2 | 7 |
| 2004 | 4 | 11 |
| 2005 | 4 | 12 |
| 2006 | 6 | 9 |
| 2007 | 6 | 10 |
| 2008 | 4 | 18 |
| 2009 | 10 | 20 |
| 2010 | 11 | 15 |
| 2011 | 7 | 32 |
| 2012 | 18 | 21 |
| 2013 | 40 | 20 |
| 2014 | 39 | 34 |
| 2015 | 33 | 31 |
| 2016 | 44 | 45 |
| 2017 | 26 | 58 |
| 2018 | 52 | 48 |
| 2019 | 70 | 68 |
| 2020 | 76 | 93 |
| 2021 | 85 | 67 |
| 2022 | 61 | 66 |
| 2023 | 70 | 66 |
| 2024 | 53 | 70 |
| 2025 | 52 | 112 |
| 2026 | 56 | 98 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Systems and methods for implementing a mixed reality apparatus to automatically and dynamically generate output based on source code6 Oct 2026US 12,754,820 B2Bank of America Corporation
- Dual-capacity machine learning based validation framework6 Oct 2026US 12,754,821 B1Intuit Inc.
- Evaluating readiness level in industrial floor infrastructure and automation software6 Oct 2026US 12,754,830 B2International Business Machines Corporation
- Debugging microservices in trusted execution environments6 Oct 2026US 12,754,831 B2International Business Machines Corporation
- Platforms, systems, and methods for rapid fermenter sampling6 Oct 2026US 12,755,814 B2X Development LLC
- Method for application performance prediction8 Oct 2026US 2026/0310576 A1Telefonaktiebolaget LM Ericsson (publ)
- Identity governance artificial intelligence agent8 Oct 2026US 2026/0310577 A1Sailpoint Technologies, Inc.
- Code modernization1 Oct 2026US 2026/0299910 A1
- Industrial Automation Sequence of Operation (SoO) and Misuse Sequence of Operations (MSoO) for Mechanical and Process Systems1 Oct 2026US 2026/0300126 A1
- System for determining upgrade deployment compatibility1 Oct 2026US 2026/0300127 A1T-Mobile USA, Inc.
Most cited
By later US patents
- Static analysis based efficient elimination of false positive297US 10,002,064 B2Tata Consultancy Services Limited · 2018
- Sequentially constructive model of computation277US 10,019,339 B2National Instruments Corporation · 2018
- System and method for modeling, abstraction, and analysis of software265US 7,346,486 B2NEC Laboratories America, Inc. · 2008
- Rule-based validation of websites260US 9,606,971 B2Observepoint, Inc. · 2017
- User interface with real-time visual playback along with synchronous textual analysis log display and event/time index for anomalous behavior detection in applications253US 9,195,829 B1FireEye, Inc. · 2015