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
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
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
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
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
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
Information Patent Grant
Method and system for updating legacy software
- Patent number 12,032,941
- Issue date Jul 9, 2024
- Updraft, LLC
- Thomas J. Weigert
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data structure validation using injected dynamic behavior
- Patent number 12,032,433
- Issue date Jul 9, 2024
- JPMorgan Chase Bank, N.A.
- Simon Nektalov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software platform that facilitates definition, design, development,...
- Patent number 12,001,813
- Issue date Jun 4, 2024
- Calibo LLC
- Shubhabrata Mohanty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dataset connector and crawler to identify data lineage and segment...
- Patent number 11,989,597
- Issue date May 21, 2024
- CAPITAL ONE SERVICES, LLC
- Austin Walters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validation of inspection software
- Patent number 11,989,114
- Issue date May 21, 2024
- Pratt & Whitney Canada Corp.
- Mario Blais
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptively generated program model
- Patent number 11,983,091
- Issue date May 14, 2024
- GitLab B.V.
- Julian Thome
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for testing models
- Patent number 11,971,810
- Issue date Apr 30, 2024
- Walmart Apollo, LLC
- Rahul D. Sharnagat
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for an intelligent technical debt helper bot
- Patent number 11,971,804
- Issue date Apr 30, 2024
- Allstate Insurance Company
- Anil Kumar Pandurangarao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and server for optimizing deployment of containeriz...
- Patent number 11,954,475
- Issue date Apr 9, 2024
- Gram Labs, Inc.
- Jeremy Gustie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Autonomously delivering software features
- Patent number 11,954,461
- Issue date Apr 9, 2024
- UKG INC.
- Keith A. Briggs
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
Information Patent Application
MODEL ANALYSIS DEVICE, MODEL ANALYSIS METHOD, AND RECORDING MEDIUM
- Publication number 20240385943
- Publication date Nov 21, 2024
- NEC Corporation
- Jun NISHIOKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE CONCIERGE MODEL (CCM) FOR PREDICTING RUNTIME ERRORS OF SOURCE...
- Publication number 20240378135
- Publication date Nov 14, 2024
- International Business Machines Corporation
- Zachary A. SILVERSTEIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MACHINE-LEARNING ENABLED INTERFACE FOR SOFTWARE TESTING
- Publication number 20240378134
- Publication date Nov 14, 2024
- Truist Bank
- Nagaraja Hebbar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Computer-Implemented Method and System for Learning-Based Anomaly D...
- Publication number 20240378137
- Publication date Nov 14, 2024
- Bayerische Motoren Werke Aktiengesellschaft
- Alexander FRICKENSTEIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR TWO-STAGE APPLICATION TESTING
- Publication number 20240370350
- Publication date Nov 7, 2024
- Wells Fargo Bank, N.A.
- Ramesh Babu Sarvesetty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR SOURCE CODE VERIFICATION USING MACHINE LEARNI...
- Publication number 20240354219
- Publication date Oct 24, 2024
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR TAKING FEEDBACK INTO ACCOUNT IN A SOFTWARE TEST
- Publication number 20240354233
- Publication date Oct 24, 2024
- ROBERT BOSCH GmbH
- Maria Irina Nicolae
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR GENERATING TEST SCRIPTS
- Publication number 20240345940
- Publication date Oct 17, 2024
- HCL Technologies Limited
- SOURABH PRAKASH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED SYSTEM FOR ASSESSING APPLICATION FITNESS
- Publication number 20240338294
- Publication date Oct 10, 2024
- State Street Bank and Trust Company
- Ravindra Pundlik Padma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR DISCOVERY AND GENERALIZED EXPERIMENTATION W...
- Publication number 20240329939
- Publication date Oct 3, 2024
- VERIZON PATENT AND LICENSING INC.
- Haripriya SRINIVASARAGHAVAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNTHESIZING ML PIPELINES FOR AUTOMATED PIPELINE RECOMMENDATIONS
- Publication number 20240329949
- Publication date Oct 3, 2024
- Fujitsu Limited
- Wei-Peng CHEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEFINING FEATURE VARIABLE CONFIGURATIONS THAT ENABLE ACCESS TO FEAT...
- Publication number 20240320126
- Publication date Sep 26, 2024
- Salesforce, Inc.
- Gang Shu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONVERSATIONAL UNIT TEST GENERATION USING LARGE LANGUAGE MODEL
- Publication number 20240311582
- Publication date Sep 19, 2024
- Microsoft Technology Licensing, LLC
- MAX SCHAEFER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Testing Benchmark Generation Method and Testing Benchmark Generatio...
- Publication number 20240311273
- Publication date Sep 19, 2024
- MEDIATEK INC.
- Wei-Liang Kuo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST CHECKING OF PULL REQUEST CHANGES USING LARGE LANGUAGE MODEL
- Publication number 20240311272
- Publication date Sep 19, 2024
- Microsoft Technology Licensing, LLC
- MAX SCHAEFER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROACTIVELY IDENTIFYING ERRORS IN TECHNICAL DOCUMENTATION CODE
- Publication number 20240303178
- Publication date Sep 12, 2024
- International Business Machines Corporation
- Robert Paquin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST CASE GENERATION
- Publication number 20240289260
- Publication date Aug 29, 2024
- International Business Machines Corporation
- Vijay Arya
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PROVIDING PROVABLE END-TO-END GUARANTEES ON C...
- Publication number 20240289432
- Publication date Aug 29, 2024
- Carnegie Mellon University
- Amit Vasudevan
- G06 - COMPUTING CALCULATING COUNTING

using formal methods

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

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

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

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

Automated cloud-agnostic deployment of software applications

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

Method and system for updating legacy software

Data structure validation using injected dynamic behavior

Software platform that facilitates definition, design, development,...

Dataset connector and crawler to identify data lineage and segment...

Validation of inspection software

Adaptively generated program model

Systems and methods for testing models

Methods and systems for an intelligent technical debt helper bot

System, method, and server for optimizing deployment of containeriz...

Autonomously delivering software features

Patents Applicationslast 30 patents

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

MODEL ANALYSIS DEVICE, MODEL ANALYSIS METHOD, AND RECORDING MEDIUM

CODE CONCIERGE MODEL (CCM) FOR PREDICTING RUNTIME ERRORS OF SOURCE...

MACHINE-LEARNING ENABLED INTERFACE FOR SOFTWARE TESTING

Computer-Implemented Method and System for Learning-Based Anomaly D...

SYSTEMS AND METHODS FOR TWO-STAGE APPLICATION TESTING

METHOD AND SYSTEM FOR SOURCE CODE VERIFICATION USING MACHINE LEARNI...

METHOD FOR TAKING FEEDBACK INTO ACCOUNT IN A SOFTWARE TEST

METHOD AND SYSTEM FOR GENERATING TEST SCRIPTS

INTEGRATED SYSTEM FOR ASSESSING APPLICATION FITNESS

SYSTEMS AND METHODS FOR DISCOVERY AND GENERALIZED EXPERIMENTATION W...

SYNTHESIZING ML PIPELINES FOR AUTOMATED PIPELINE RECOMMENDATIONS

DEFINING FEATURE VARIABLE CONFIGURATIONS THAT ENABLE ACCESS TO FEAT...

CONVERSATIONAL UNIT TEST GENERATION USING LARGE LANGUAGE MODEL

Testing Benchmark Generation Method and Testing Benchmark Generatio...

TEST CHECKING OF PULL REQUEST CHANGES USING LARGE LANGUAGE MODEL

PROACTIVELY IDENTIFYING ERRORS IN TECHNICAL DOCUMENTATION CODE

TEST CASE GENERATION

SYSTEM AND METHOD FOR PROVIDING PROVABLE END-TO-END GUARANTEES ON C...