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
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
Automated cloud-agnostic deployment of software applications
- Patent number 12,086,571
- Issue date Sep 10, 2024
- Calibo LLC
- Shubhabrata Mohanty
- 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
Information Patent Grant
Automated test multiplexing system
- Patent number 12,076,638
- Issue date Sep 3, 2024
- Electronic Arts Inc.
- Igor Borovikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Function result prediction
- Patent number 12,072,793
- Issue date Aug 27, 2024
- International Business Machines Corporation
- Mark James Lawrence
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for determining software parity
- Patent number 12,067,386
- Issue date Aug 20, 2024
- CAPITAL ONE SERVICES, LLC
- Komal Krishna Pandamaneti
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for motion correction in synthetic images
- Patent number 12,056,541
- Issue date Aug 6, 2024
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Development system and method
- Patent number 12,039,303
- Issue date Jul 16, 2024
- Microsoft Technology Licensing, LLC
- David Ardman
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
Information Patent Application
MACHINE-LEARNING BASED PREDICTION OF DEFECT-PRONE COMPONENTS OF INF...
- Publication number 20250004936
- Publication date Jan 2, 2025
- Dell Products L.P.
- Abhishek Mishra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS
- Publication number 20240427689
- Publication date Dec 26, 2024
- GM GLOBAL TECHNOLOGY OPERATIONS LLC
- Asaf Degani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED CODE SCANNING FOR PRE-EMPTIVE ISSUE DETECTION AND RESOLUTION
- Publication number 20240419575
- Publication date Dec 19, 2024
- Microsoft Technology Licensing, LLC
- Michael ANDREW HAWKER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR MOTION CORRECTION IN SYNTHETIC IMAGES
- Publication number 20240411619
- Publication date Dec 12, 2024
- Capital One Services, LLC
- Austin WALTERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL VALIDATION AS A SERVICE
- Publication number 20240403200
- Publication date Dec 5, 2024
- Wells Fargo Bank, N.A.
- Fernando Cela Diaz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EVALUATING READINESS LEVEL IN INDUSTRIAL FLOOR INFRASTRUCTURE AND A...
- Publication number 20240394173
- Publication date Nov 28, 2024
- International Business Machines Corporation
- Tushar Agrawal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, DEVICE, APPARATUS AND STORAGE MEDIUM FOR CODE PARAMETER VER...
- Publication number 20240394171
- Publication date Nov 28, 2024
- Beijing Volcano Engine Technology Co., Ltd.
- Xu Duan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYBRID INFERENCE SYSTEM FOR COGS REDUCTION
- Publication number 20240385814
- Publication date Nov 21, 2024
- Microsoft Technology Licensing, LLC
- SHENGYU FU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE SCANNING AND OPERATION CONTROL
- Publication number 20240385942
- Publication date Nov 21, 2024
- Microsoft Technology Licensing, LLC
- Michael A. HAWKER
- G06 - COMPUTING CALCULATING COUNTING

using formal methods

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

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

Automated cloud-agnostic deployment of software applications

Model validation as a service

Automated test multiplexing system

Function result prediction

Systems and methods for determining software parity

Systems and methods for motion correction in synthetic images

Development system and method

Patents Applicationslast 30 patents

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

MACHINE-LEARNING BASED PREDICTION OF DEFECT-PRONE COMPONENTS OF INF...

BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS

AUTOMATED CODE SCANNING FOR PRE-EMPTIVE ISSUE DETECTION AND RESOLUTION

SYSTEMS AND METHODS FOR MOTION CORRECTION IN SYNTHETIC IMAGES

MODEL VALIDATION AS A SERVICE

EVALUATING READINESS LEVEL IN INDUSTRIAL FLOOR INFRASTRUCTURE AND A...

METHOD, DEVICE, APPARATUS AND STORAGE MEDIUM FOR CODE PARAMETER VER...

HYBRID INFERENCE SYSTEM FOR COGS REDUCTION

CODE SCANNING AND OPERATION CONTROL