using formal methods

Industry

CPC
G06F11/3608

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F11/00Error detection Error correction Monitoring

Current Industry

G06F11/3608using formal methods

Industries

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
System and method for monitoring of software applications and healt...
- Patent number 12,293,165
- Issue date May 6, 2025
- Calibo LLC
- Shubhabrata Mohanty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating failing tests from failed proofs
- Patent number 12,287,726
- Issue date Apr 29, 2025
- Constructor Education and Research Genossenschaft
- Huang Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programmatical errors from engineering programs in a technical inst...
- Patent number 12,282,420
- Issue date Apr 22, 2025
- Siemens Aktiengesellschaft
- Elvis Antony
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program improvement using large language models
- Patent number 12,282,411
- Issue date Apr 22, 2025
- Microsoft Technology Licensing, LLC
- Jialu Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods to identify neural network brittleness based on...
- Patent number 12,277,455
- Issue date Apr 15, 2025
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for removing identifiable information
- Patent number 12,271,768
- Issue date Apr 8, 2025
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conflict detection method and system for internet of things (IoT) d...
- Patent number 12,260,216
- Issue date Mar 25, 2025
- Peking University
- Zhi Jin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system, and computer program product for automatic selectio...
- Patent number 12,259,808
- Issue date Mar 25, 2025
- Visa International Service Association
- Parthasaradhi Buraga
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated multi-stage computer code generation
- Patent number 12,253,932
- Issue date Mar 18, 2025
- Ropes AI Inc.
- Kenneth Schumacher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and electronic device for monitoring executable code adapted...
- Patent number 12,248,787
- Issue date Mar 11, 2025
- Commissariat a l'Energie Atomique et Aux Energies Alternatives
- Mihail Asavoae
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for providing provable end-to-end guarantees on c...
- Patent number 12,248,558
- Issue date Mar 11, 2025
- Carnegie Mellon University
- Amit Vasudevan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Service interaction violation detection
- Patent number 12,222,839
- Issue date Feb 11, 2025
- Stripe, Inc.
- Sydney Zheng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Visual programming of machine learning state machines
- Patent number 12,217,027
- Issue date Feb 4, 2025
- Deere & Company
- Yueqi Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for quickly searching datasets by indexing synt...
- Patent number 12,210,917
- Issue date Jan 28, 2025
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Build system supporting code audits, code verification, and softwar...
- Patent number 12,204,434
- Issue date Jan 21, 2025
- KARMA AUTOMOTIVE LLC
- Jack William Bell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Remote validation for regulated environments
- Patent number 12,204,435
- Issue date Jan 21, 2025
- Dawn Elaine Keller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer-accessible medium for evaluating multi...
- Patent number 12,175,308
- Issue date Dec 24, 2024
- CAPITAL ONE SERVICES, LLC
- Mark Watson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assessing performance of a hardware design using formal evaluation...
- Patent number 12,175,179
- Issue date Dec 24, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Intelligent services and training agent for application dependency...
- Patent number 12,164,416
- Issue date Dec 10, 2024
- CAPITAL ONE SERVICES, LLC
- Muralidharan Balasubramanian
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programmatic selection of breakpoints and table values for a lookup...
- Patent number 12,141,021
- Issue date Nov 12, 2024
- The MathWorks, Inc.
- Yifu Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programmatically generating evaluation data sets for code generatio...
- Patent number 12,141,553
- Issue date Nov 12, 2024
- Amazon Technologies, Inc.
- Praphruetpong Athiwaratkun
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic non-code test suite generation from API specification
- Patent number 12,135,630
- Issue date Nov 5, 2024
- salesforce, Inc.
- Robert O'Dell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Onboard electronic control unit configured to perform an operation...
- Patent number 12,117,920
- Issue date Oct 15, 2024
- Sumitomo Wiring Systems, Ltd.
- Shinya Kojima
- B60 - VEHICLES IN GENERAL
Information Patent Grant
Dynamic input-sensitive validation of machine learning model output...
- Patent number 12,111,747
- Issue date Oct 8, 2024
- Citibank, N.A.
- Payal Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Regression testing for web applications
- Patent number 12,105,619
- Issue date Oct 1, 2024
- International Business Machines Corporation
- Pei Jian Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for managing user stories via artificial intellig...
- Patent number 12,099,434
- Issue date Sep 24, 2024
- JPMorgan Chase Bank, N.A.
- Mohit Arora
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for providing provable end-to-end guarantees on c...
- Patent number 12,093,367
- Issue date Sep 17, 2024
- Carnegie Mellon University
- Amit Vasudevan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for synthetic generation of time series data
- Patent number 12,093,753
- Issue date Sep 17, 2024
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model validation as a service
- Patent number 12,086,053
- Issue date Sep 10, 2024
- Wells Fargo Bank, N.A.
- Fernando Cela Diaz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model validation as a service
- Patent number 12,086,054
- Issue date Sep 10, 2024
- Wells Fargo Bank, N.A.
- Fernando Cela Diaz
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD OF PERFORMING CODE REVIEW AND RELATED SYSTEM
- Publication number 20250147863
- Publication date May 8, 2025
- MEDIATEK INC.
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR ERROR REPRODUCTION IN WEB-BASED APPLICATIONS
- Publication number 20250138992
- Publication date May 1, 2025
- NOIBU TECHNOLOGIES INC.
- Vikram Reddy Ardham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER-DEFINED LIGHTWEIGHT APPLICATION CHECKPOINTING SYSTEM
- Publication number 20250130920
- Publication date Apr 24, 2025
- Dell Products L.P.
- Benjamin E. Santaus
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTELLIGENT DEVOPS RECOMMENDATION OF INSIGHTS ACROSS SOFTWARE APPLI...
- Publication number 20250123946
- Publication date Apr 17, 2025
- SAP SE
- Peter Eberlein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR A DECENTRALIZED MACHINE LEARNING SOURCE CODE...
- Publication number 20250123813
- Publication date Apr 17, 2025
- Bank of America Corporation
- Shailendra Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHODS FOR EVENT DRIVEN ARCHITECTURE
- Publication number 20250110851
- Publication date Apr 3, 2025
- Fidelity Information Services, LLC
- Ranadhir GHOSH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...
- Publication number 20250111115
- Publication date Apr 3, 2025
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Evaluating Computer-Readable Code
- Publication number 20250110850
- Publication date Apr 3, 2025
- Google LLC
- Indu Ramamurthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR PERFORMING OUTER LOOP ABSTRACTION FOR EFFICIE...
- Publication number 20250110849
- Publication date Apr 3, 2025
- TATA CONSULTANCY SERVICES LIMITED
- PRIYANKA DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Intelligent Services and Training Agent for Application Dependency...
- Publication number 20250103475
- Publication date Mar 27, 2025
- Capital One Services, LLC
- Muralidharan Balasubramanian
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATION OF SOFTWARE TEST CASE GENERATION AND IMPLEMENTATION
- Publication number 20250103471
- Publication date Mar 27, 2025
- Microsoft Technology Licensing, LLC
- Igor BRAGAIA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR IMPLEMENTING A MIXED REALITY APPARATUS TO A...
- Publication number 20250103462
- Publication date Mar 27, 2025
- Bank of America Corporation
- Raja Arumugam Maharaja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM, METHOD, AND NON-TRANSITORY COMPUTER-READABLE MEDIA FOR PERF...
- Publication number 20250094315
- Publication date Mar 20, 2025
- Rakuten Mobile, Inc.
- Mohit LUTHRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Trust-Aware Error Detection, Correction, an...
- Publication number 20250077387
- Publication date Mar 6, 2025
- AvaWatz Company
- Rishabh Iyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MACHINE LEARNING BASED PRE-SUBMIT TEST SELECTION
- Publication number 20250077386
- Publication date Mar 6, 2025
- SAP SE
- Jingun Hong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING SEMANTICS INFORMATION FOR PROGRAM STATEMENTS
- Publication number 20250068543
- Publication date Feb 27, 2025
- International Business Machines Corporation
- Diptikalyan Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR AN INTELLIGENT TECHNICAL DEBT HELPER BOT
- Publication number 20250061043
- Publication date Feb 20, 2025
- Allstate Insurance Company
- Anil Kumar Pandurangarao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING A LARGE LANGUAGE MODEL FOR CODE GENERATION FOR NETWORK ANALYT...
- Publication number 20250060949
- Publication date Feb 20, 2025
- Cisco Technology, Inc.
- Pierre-André Savalle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR DETECTING AND CORRECTING TRENDING PROBLEMS...
- Publication number 20250053496
- Publication date Feb 13, 2025
- VMware, Inc.
- Ashot Baghdasaryan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-LAYER INTERACTION AND CODE EXAMINER FOR N-TIER ARCHITECTURE A...
- Publication number 20250053495
- Publication date Feb 13, 2025
- VERIZON PATENT AND LICENSING INC.
- Ashish GUPTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LARGE LANGUAGE MODELS FOR CREATING A MULTI-LINGUAL, LOW-RESOURCE CO...
- Publication number 20250045185
- Publication date Feb 6, 2025
- International Business Machines Corporation
- Zilu Tang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED MAINTENANCE OF AN OBJECT REPOSITORY FILE FOR AUTOMATION T...
- Publication number 20250036547
- Publication date Jan 30, 2025
- ORANGE
- Nimisha Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHAOS EVENT TESTING USING SIMULATED TRAFFIC FEED AND CHAOS EVENTS S...
- Publication number 20250036546
- Publication date Jan 30, 2025
- The PNC Financial Services Group, Inc.
- Erik James Anderson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED TEST MULTIPLEXING SYSTEM
- Publication number 20250032909
- Publication date Jan 30, 2025
- Electronic Arts Inc.
- Igor Borovikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR INTELLIGENT INTERROGATION AND TAGGING OF A...
- Publication number 20250028625
- Publication date Jan 23, 2025
- AppLand Inc.
- Elizabeth Lawler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR FPGA BUILD AND INITIALIZATION
- Publication number 20250021462
- Publication date Jan 16, 2025
- dSPACE GmbH
- Heiko Kalte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC NON-CODE TEST SUITE GENERATION FROM API SPECIFICATION
- Publication number 20250021463
- Publication date Jan 16, 2025
- Salesforce, Inc.
- Robert O'DELL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR PREDICTION OF TEST FAILURES
- Publication number 20250013555
- Publication date Jan 9, 2025
- JPMorgan Chase Bank, N.A.
- Georgios PAPADOPOULOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VALIDATION OF CODE TRANSLATION USING INTERMEDIATE REPRESENTATION
- Publication number 20250004909
- Publication date Jan 2, 2025
- International Business Machines Corporation
- Rangeet PAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MANAGING A DATA PIPELINE USING A DIGITAL TWIN
- Publication number 20250004921
- Publication date Jan 2, 2025
- Dell Products L.P.
- OFIR EZRIELEV
- G06 - COMPUTING CALCULATING COUNTING

using formal methods

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

System and method for monitoring of software applications and healt...

System and method for generating failing tests from failed proofs

Programmatical errors from engineering programs in a technical inst...

Program improvement using large language models

Systems and methods to identify neural network brittleness based on...

Systems and methods for removing identifiable information

Conflict detection method and system for internet of things (IoT) d...

Method, system, and computer program product for automatic selectio...

Automated multi-stage computer code generation

Method and electronic device for monitoring executable code adapted...

System and method for providing provable end-to-end guarantees on c...

Service interaction violation detection

Visual programming of machine learning state machines

Systems and methods for quickly searching datasets by indexing synt...

Build system supporting code audits, code verification, and softwar...

Remote validation for regulated environments

System, method, and computer-accessible medium for evaluating multi...

Assessing performance of a hardware design using formal evaluation...

Intelligent services and training agent for application dependency...

Programmatic selection of breakpoints and table values for a lookup...

Programmatically generating evaluation data sets for code generatio...

Automatic non-code test suite generation from API specification

Onboard electronic control unit configured to perform an operation...

Dynamic input-sensitive validation of machine learning model output...

Regression testing for web applications

Method and system for managing user stories via artificial intellig...

System and method for providing provable end-to-end guarantees on c...

Method and system for synthetic generation of time series data

Model validation as a service

Model validation as a service

Patents Applicationslast 30 patents

METHOD OF PERFORMING CODE REVIEW AND RELATED SYSTEM

SYSTEM AND METHOD FOR ERROR REPRODUCTION IN WEB-BASED APPLICATIONS

USER-DEFINED LIGHTWEIGHT APPLICATION CHECKPOINTING SYSTEM

INTELLIGENT DEVOPS RECOMMENDATION OF INSIGHTS ACROSS SOFTWARE APPLI...

SYSTEM AND METHOD FOR A DECENTRALIZED MACHINE LEARNING SOURCE CODE...

SYSTEM AND METHODS FOR EVENT DRIVEN ARCHITECTURE

ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...

Evaluating Computer-Readable Code

METHOD AND SYSTEM FOR PERFORMING OUTER LOOP ABSTRACTION FOR EFFICIE...

Intelligent Services and Training Agent for Application Dependency...

AUTOMATION OF SOFTWARE TEST CASE GENERATION AND IMPLEMENTATION

SYSTEMS AND METHODS FOR IMPLEMENTING A MIXED REALITY APPARATUS TO A...

SYSTEM, METHOD, AND NON-TRANSITORY COMPUTER-READABLE MEDIA FOR PERF...

Systems and Methods for Trust-Aware Error Detection, Correction, an...

MACHINE LEARNING BASED PRE-SUBMIT TEST SELECTION

DETERMINING SEMANTICS INFORMATION FOR PROGRAM STATEMENTS

METHODS AND SYSTEMS FOR AN INTELLIGENT TECHNICAL DEBT HELPER BOT

USING A LARGE LANGUAGE MODEL FOR CODE GENERATION FOR NETWORK ANALYT...

METHODS AND SYSTEMS FOR DETECTING AND CORRECTING TRENDING PROBLEMS...

MULTI-LAYER INTERACTION AND CODE EXAMINER FOR N-TIER ARCHITECTURE A...

LARGE LANGUAGE MODELS FOR CREATING A MULTI-LINGUAL, LOW-RESOURCE CO...

AUTOMATED MAINTENANCE OF AN OBJECT REPOSITORY FILE FOR AUTOMATION T...

CHAOS EVENT TESTING USING SIMULATED TRAFFIC FEED AND CHAOS EVENTS S...

AUTOMATED TEST MULTIPLEXING SYSTEM

SYSTEMS AND METHODS FOR INTELLIGENT INTERROGATION AND TAGGING OF A...

METHOD FOR FPGA BUILD AND INITIALIZATION

AUTOMATIC NON-CODE TEST SUITE GENERATION FROM API SPECIFICATION

SYSTEMS AND METHODS FOR PREDICTION OF TEST FAILURES

VALIDATION OF CODE TRANSLATION USING INTERMEDIATE REPRESENTATION

SYSTEM AND METHOD FOR MANAGING A DATA PIPELINE USING A DIGITAL TWIN