Membership
Tour
Register
Log in
using formal methods
Follow
Industry
CPC
G06F11/3608
This industry / category may be too specific. Please go to a parent level for more data
Parent Industries
G
PHYSICS
G06
Computing
G06F
ELECTRICAL DIGITAL DATA PROCESSING
G06F11/00
Error detection Error correction Monitoring
Current Industry
G06F11/3608
using formal methods
Industries
Overview
Organizations
People
Information
Impact
Patents Grants
last 30 patents
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
Information
Patent Grant
System and method for semantic metadata extensions in API governanc...
Patent number
11,947,976
Issue date
Apr 2, 2024
salesforce, Inc.
Antonio Garrote
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Detecting and mitigating application security threats based on quan...
Patent number
11,947,450
Issue date
Apr 2, 2024
Bank of America Corporation
Timucin Ozugur
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Contextual assistance and interactive documentation
Patent number
11,947,933
Issue date
Apr 2, 2024
Microsoft Technology Licensing, LLC
Ion Todirel
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Development system and method
Patent number
11,934,806
Issue date
Mar 19, 2024
Microsoft Technology Licensing, LLC
David Ardman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for a state machine configuration engine
Patent number
11,934,845
Issue date
Mar 19, 2024
United Services Automobile Association (USAA)
Augusto Javier Rodriguez
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Application distribution device distributes a program for installin...
Patent number
11,936,828
Issue date
Mar 19, 2024
Toshiba Tec Kabushiki Kaisha
Hiroshi Watanabe
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Profiling
Patent number
11,914,497
Issue date
Feb 27, 2024
ARM Limited
Michael Bartling
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Machine learning techniques for performing predictive anomaly detec...
Patent number
11,914,506
Issue date
Feb 27, 2024
Optum, Inc.
Sanjay K. Dwivedi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer-accessible medium for evaluating multi...
Patent number
11,900,178
Issue date
Feb 13, 2024
CAPITAL ONE SERVICES, LLC
Mark Watson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods to improve data clustering using a meta-cluster...
Patent number
11,861,418
Issue date
Jan 2, 2024
CAPITAL ONE SERVICES, LLC
Austin Walters
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Development system and method for a conversational application
Patent number
11,853,729
Issue date
Dec 26, 2023
Microsoft Technology Licensing, LLC
David Ardman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods to identify neural network brittleness based on...
Patent number
11,836,537
Issue date
Dec 5, 2023
CAPITAL ONE SERVICES, LLC
Austin Walters
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Video game testing and automation framework
Patent number
11,829,286
Issue date
Nov 28, 2023
GameDriver, Inc.
Phillip Todd Mayhew
A63 - SPORTS GAMES AMUSEMENTS
Information
Patent Grant
Systems and methods for synthetic data generation for time-series d...
Patent number
11,822,975
Issue date
Nov 21, 2023
CAPITAL ONE SERVICES, LLC
Austin Walters
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for evaluating code contributions by software d...
Patent number
11,816,017
Issue date
Nov 14, 2023
MERICO, INC.
Jinglei Ren
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods of formal verification
Patent number
11,816,018
Issue date
Nov 14, 2023
Yale University
Zhong Shao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Transitioning legacy software to be provably correct
Patent number
11,797,317
Issue date
Oct 24, 2023
Amazon Technologies, Inc.
Sean McLaughlin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Compliance enforcement tool for computing environments
Patent number
11,797,424
Issue date
Oct 24, 2023
Progress Software Corporation
Christian Dominik Richter
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Page simulation system
Patent number
11,782,821
Issue date
Oct 10, 2023
Netflix, Inc.
David Gevorkyan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods and apparatus to determine refined context for software bug...
Patent number
11,782,813
Issue date
Oct 10, 2023
Intel Corporation
Shengtian Zhou
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automated bug fixing using deep learning
Patent number
11,775,414
Issue date
Oct 3, 2023
RAM Laboratories, Inc.
John Darragh Geddes
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Computer system integrity through a combination of certifiable and...
Patent number
11,775,633
Issue date
Oct 3, 2023
The Boeing Company
John Newell Sanders-Reed
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Source code fault detection
Patent number
11,762,758
Issue date
Sep 19, 2023
International Business Machines Corporation
Shiwan Zhao
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
SYSTEM, METHOD, AND COMPUTER-ACCESSIBLE MEDIUM FOR EVALUATING MULTI...
Publication number
20240160502
Publication date
May 16, 2024
Capital One Services, LLC
Mark WATSON
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR A PROGRAM DEBUGGING FRAMEWORK
Publication number
20240134773
Publication date
Apr 25, 2024
Salesforce, Inc.
Nghi Bui
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD, ELECTRONIC DEVICE, AND PROGRAM PRODUCT FOR BUG CLASSIFICATION
Publication number
20240134784
Publication date
Apr 25, 2024
Dell Products L.P.
Jiacheng Ni
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
APPLICATION SCENARIO INJECTION AND VALIDATION SYSTEM
Publication number
20240118991
Publication date
Apr 11, 2024
THE BANK OF NEW YORK MELLON
Aleksandr ZAKHARCHENKO
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR DETERMINING SOFTWARE PARITY
Publication number
20240111509
Publication date
Apr 4, 2024
Capital One Services, LLC
Komal Krishna PANDAMANETI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR VARIANT TESTING AT SCALE
Publication number
20240103998
Publication date
Mar 28, 2024
Apple Inc.
Jae Hyeon Bae
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Detecting and mitigating application security threats based on quan...
Publication number
20240095160
Publication date
Mar 21, 2024
Bank of America Corporation
Timucin Ozugur
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Formal Verification of a Program of a Control Device
Publication number
20240086303
Publication date
Mar 14, 2024
Bayerische Motoren Werke Aktiengesellschaft
Vladislav NENCHEV
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONNECTIVITY MANAGEMENT DEVICE, SYSTEM, METHOD
Publication number
20240086302
Publication date
Mar 14, 2024
Hitachi, Ltd
Daisuke ISHII
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
REMOTE VALIDATION FOR REGULATED ENVIRONMENTS
Publication number
20240078167
Publication date
Mar 7, 2024
Minitab, LLC
Dawn Elaine Keller
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DEVICE, SYSTEM, AND METHOD FOR TEXT SEMANTIC ANALYSIS USING SOURCE...
Publication number
20240061761
Publication date
Feb 22, 2024
LANGCODE INC.
Min Jun KIM
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS TO IDENTIFY NEURAL NETWORK BRITTLENESS BASED ON...
Publication number
20240054029
Publication date
Feb 15, 2024
Capital One Services, LLC
Austin Walters
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for generating failing tests from failed proofs
Publication number
20240045791
Publication date
Feb 8, 2024
Rolos AG
Huang Li
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
BUILD SYSTEM SUPPORTING CODE AUDITS, CODE VERIFICATION, AND SOFTWAR...
Publication number
20240045786
Publication date
Feb 8, 2024
Airbiquity Inc.
Jack William Bell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PREDICTION OF AN ANOMALY OF A RESOURCE FOR PROGRAMMING A CHECKPOINT
Publication number
20240037014
Publication date
Feb 1, 2024
BULL SAS
Jean-Olivier GERPHAGNON
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SERVICE INTERACTION VIOLATION DETECTION
Publication number
20240037011
Publication date
Feb 1, 2024
Stripe, Inc.
Sydney ZHENG
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF A...
Publication number
20240037012
Publication date
Feb 1, 2024
ROBERT BOSCH GmbH
Lukas Koenig
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COM...
Publication number
20240037015
Publication date
Feb 1, 2024
ROBERT BOSCH GmbH
Christian Heinzemann
B60 - VEHICLES IN GENERAL
Information
Patent Application
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF A...
Publication number
20240037013
Publication date
Feb 1, 2024
ROBERT BOSCH GmbH
Michael Messer
B60 - VEHICLES IN GENERAL
Information
Patent Application
COMPREHENSIVE COMPONENT ANALYSIS AND VISUALIZATION
Publication number
20240028310
Publication date
Jan 25, 2024
Wix.com Ltd.
Yitzhak STAUBER
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROGRAMMATICALLY GENERATING EVALUATION DATA SETS FOR CODE GENERATIO...
Publication number
20230418566
Publication date
Dec 28, 2023
AMAZON TECHNOLOGIES, INC.
Praphruetpong Athiwaratkun
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
APPLICATION STATE PREDICTION USING COMPONENT STATE
Publication number
20230401141
Publication date
Dec 14, 2023
BMC Software, Inc.
Ajoy Kumar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VISUAL PROGRAMMING OF MACHINE LEARNING STATE MACHINES
Publication number
20230385083
Publication date
Nov 30, 2023
Mineral Earth Sciences LLC
Yueqi Li
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR SYNTHETIC DATA GENERATION FOR TIME-SERIES D...
Publication number
20230376362
Publication date
Nov 23, 2023
Capital One Services, LLC
Austin WALTERS
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DEVELOPMENT SYSTEM AND METHOD
Publication number
20230376283
Publication date
Nov 23, 2023
NUANCE COMMUNICATIONS, INC.
David Ardman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM OF ANALYZING AND VISUALIZING TELEMETRY DATA
Publication number
20230367694
Publication date
Nov 16, 2023
Microsoft Technology Licensing, LLC
Dmitry Valentinovich KHOLODKOV
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
REGRESSION TESTING FOR WEB APPLICATIONS
Publication number
20230359549
Publication date
Nov 9, 2023
International Business Machines Corporation
Pei Jian Liu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
BRANCHING DATA MONITORING WATCHPOINTS TO ENABLE CONTINUOUS INTEGRAT...
Publication number
20230342281
Publication date
Oct 26, 2023
Data Culpa, Inc.
J. Mitchell Haile
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF A...
Publication number
20230315610
Publication date
Oct 5, 2023
ROBERT BOSCH GmbH
Christian Heinzemann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROFILING
Publication number
20230315609
Publication date
Oct 5, 2023
ARM Limited
Michael BARTLING
G06 - COMPUTING CALCULATING COUNTING