Programme code verification

Industry

CPC
G06F9/44589

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

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F9/00Arrangements for programme control

Current Industry

G06F9/44589Programme code verification

Industries

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Information processing apparatus, information processing method, an...
- Patent number 12,169,722
- Issue date Dec 17, 2024
- Canon Kabushiki Kaisha
- Nobuhiro Tagashira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distinguished nest-based access control
- Patent number 12,158,952
- Issue date Dec 3, 2024
- Oracle International Corporation
- Alexander R. Buckley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing hardware-based memory safety for a graphic processing...
- Patent number 12,135,781
- Issue date Nov 5, 2024
- NVIDIA Corporation
- Aamer Jaleel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic processor architecture control
- Patent number 12,135,680
- Issue date Nov 5, 2024
- VSORA
- Khaled Maalej
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and microcontroller for driving in-system-programming
- Patent number 12,124,860
- Issue date Oct 22, 2024
- Nuvoton Technology Corporation
- Wen-Shuo Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
On-chip NVM ISP emulation in FPGA
- Patent number 12,061,701
- Issue date Aug 13, 2024
- Seagate Technology LLC
- Hemant Mane
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for malware detection in portable executable files
- Patent number 12,050,687
- Issue date Jul 30, 2024
- MORGAN STANLEY SERVICES GROUP INC.
- Chenggang Tong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic processor architecture control
- Patent number 12,045,194
- Issue date Jul 23, 2024
- VSORA
- Khaled Maalej
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating machine code from a mock application
- Patent number 12,032,471
- Issue date Jul 9, 2024
- BIONIC STORK LTD.
- Amir Sidis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus to generate code as a plug-in in a cloud comp...
- Patent number 12,001,860
- Issue date Jun 4, 2024
- VMWARE LLC
- Petar Vorotnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Secure DevSecOps pipeline with task signing
- Patent number 11,989,570
- Issue date May 21, 2024
- International Busi ness Machines Corporation
- Shripad Nadgowda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Native-image in-memory cache for containerized ahead-of-time applic...
- Patent number 11,954,510
- Issue date Apr 9, 2024
- Red Hat, Inc.
- Francesco Nigro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Retaining Dafny specifications
- Patent number 11,921,616
- Issue date Mar 5, 2024
- Amazon Technologies, Inc.
- Tongtong Xiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Devices, systems, and methods for providing on-demand engine softwa...
- Patent number 11,907,695
- Issue date Feb 20, 2024
- General Electric Company
- Jeffrey Scott Gilton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Non-transitory computer-readable recording medium, control method,...
- Patent number 11,893,397
- Issue date Feb 6, 2024
- Fujitsu Limited
- Makoto Kozawa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deploying device campaign updates to IoT devices
- Patent number 11,875,143
- Issue date Jan 16, 2024
- VMware, Inc.
- Sabo Rusev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Management of transport software updates
- Patent number 11,868,757
- Issue date Jan 9, 2024
- Toyota Motor North America, Inc.
- Louis Brugman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Secure digital assistant integration in web pages
- Patent number 11,829,435
- Issue date Nov 28, 2023
- Google LLC
- Adam Coimbra
- 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
Using embedded elements for online content verification
- Patent number 11,790,407
- Issue date Oct 17, 2023
- Protected Media Ltd.
- Asaf Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Robotic process automation system with a command action logic indep...
- Patent number 11,748,073
- Issue date Sep 5, 2023
- AUTOMATION ANYWHERE, INC.
- Sunil Dabhi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using embedded elements for online content verification
- Patent number 11,734,726
- Issue date Aug 22, 2023
- Protected Media Ltd.
- Asaf Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Secure embedded system and method of making secure
- Patent number 11,734,428
- Issue date Aug 22, 2023
- PROVENRUN
- Dominique Bolignano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lazy copying of runtime-managed stack frames
- Patent number 11,726,786
- Issue date Aug 15, 2023
- Oracle International Corporation
- Erik Duveblad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods of a metadata orchestrator augmenting applicati...
- Patent number 11,720,350
- Issue date Aug 8, 2023
- Wells Fargo Bank, N.A.
- Joseph Albert Bogushefsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data plane program verification
- Patent number 11,720,373
- Issue date Aug 8, 2023
- BAREFOOT NETWORKS, INC.
- Jeongkeun Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using embedded elements for online content verification
- Patent number 11,669,870
- Issue date Jun 6, 2023
- Protected Media Ltd.
- Asaf Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for robotic process automation
- Patent number 11,667,033
- Issue date Jun 6, 2023
- Argos Labs Inc.
- Moon Chang Chae
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bytecode verification using class relationship caching
- Patent number 11,662,983
- Issue date May 30, 2023
- International Business Machines Corporation
- Sharon Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for data-layout aware decompression and verificat...
- Patent number 11,657,018
- Issue date May 23, 2023
- EMC IP Holding Company LLC
- Colin Zou
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DISPLAY DEVICE AND OPERATING METHOD THEREOF
- Publication number 20240345933
- Publication date Oct 17, 2024
- LG ELECTRONICS INC.
- Sin Jae LEE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND APPARATUS TO GENERATE CODE AS A PLUG-IN IN A CLOUD COMP...
- Publication number 20240303091
- Publication date Sep 12, 2024
- VMware LLC
- Petar Vorotnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR GENERATING AND VERIFYING AUTOMOTIVE EMBEDDED SOFTWARE BA...
- Publication number 20240176632
- Publication date May 30, 2024
- DRIMAES, INC.
- Anna YANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGEMENT OF TRANSPORT SOFTWARE UPDATES
- Publication number 20240111517
- Publication date Apr 4, 2024
- Toyota Motor North America, Inc.
- Louis Brugman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SECURE DIGITAL ASSISTANT INTEGRATION IN WEB PAGES
- Publication number 20240054169
- Publication date Feb 15, 2024
- Google LLC
- Adam Coimbra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING EMBEDDED ELEMENTS FOR ONLINE CONTENT VERIFICATION
- Publication number 20240037176
- Publication date Feb 1, 2024
- Protected Media Ltd.
- Asaf GREINER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATING MACHINE CODE FROM A MOCK APPLICATION
- Publication number 20230385179
- Publication date Nov 30, 2023
- Bionic Stork Ltd.
- Amir SIDIS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND MICROCONTROLLER FOR DRIVING IN-SYSTEM-PROGRAMMING
- Publication number 20230259369
- Publication date Aug 17, 2023
- Nuvoton Technology Corporation
- Wen-Shuo CHANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BATCH PROCESSING DURING BOT RUNTIME
- Publication number 20230185586
- Publication date Jun 15, 2023
- SAP SE
- Satyadeep Dey
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES
- Publication number 20230176878
- Publication date Jun 8, 2023
- Samsung Electronics Co., Ltd.
- Caroline D. Kahn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTINGUISHED NEST-BASED ACCESS CONTROL
- Publication number 20230135425
- Publication date May 4, 2023
- ORACLE INTERNATIONAL CORPORATION
- Alexander R. Buckley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NON-TRANSITORY COMPUTER-READABLE RECORDING MEDIUM, CONTROL METHOD,...
- Publication number 20230109625
- Publication date Apr 6, 2023
- Fujitsu Limited
- Makoto Kozawa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR BUILDING LEASED INFRASTRUCTURE TRUST DOMAINS
- Publication number 20230077525
- Publication date Mar 16, 2023
- EMC IP Holding Company LLC
- Srinivas Gowda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE UPDATE IN SYSTEM MANAGEMENT MODE
- Publication number 20230067317
- Publication date Mar 2, 2023
- Microsoft Technology Licensing, LLC
- Mallik BULUSU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Executing Applications Using Native Code Modules
- Publication number 20230024083
- Publication date Jan 26, 2023
- Google LLC
- Evangelos Kokkevis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AGGREGATE FEATURES FOR MACHINE LEARNING
- Publication number 20220382564
- Publication date Dec 1, 2022
- TWITTER, INC.
- Sean Moon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...
- Publication number 20220342680
- Publication date Oct 27, 2022
- TATA CONSULTANCY SERVICES LIMITED
- PRIYANKA DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SECURE DEVSECOPS PIPELINE WITH TASK SIGNING
- Publication number 20220342679
- Publication date Oct 27, 2022
- International Business Machines Corporation
- SHRIPAD NADGOWDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DATA-LAYOUT AWARE DECOMPRESSION AND VERIFICAT...
- Publication number 20220309030
- Publication date Sep 29, 2022
- EMC IP Holding Company LLC
- Colin Zou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BYTECODE VERIFICATION USING CLASS RELATIONSHIP CACHING
- Publication number 20220283785
- Publication date Sep 8, 2022
- International Business Machines Corporation
- Sharon WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROBOTIC PROCESS AUTOMATION SYSTEM WITH A COMMAND ACTION LOGIC INDEP...
- Publication number 20220244927
- Publication date Aug 4, 2022
- Automation Anywhere, Inc.
- Sunil Dabhi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NATIVE-IMAGE IN-MEMORY CACHE FOR CONTAINERIZED AHEAD-OF-TIME APPLIC...
- Publication number 20220197682
- Publication date Jun 23, 2022
- Red Hat, Inc.
- Francesco Nigro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICES, SYSTEMS, AND METHODS FOR PROVIDING ON-DEMAND ENGINE SOFTWA...
- Publication number 20220179630
- Publication date Jun 9, 2022
- GENERAL ELECTRIC COMPANY
- Jeffrey Scott Gilton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Preparing and Deploying Cross-Platform Appl...
- Publication number 20220147341
- Publication date May 12, 2022
- Hammer of the Gods Inc., dba HOT-G
- Kartik THAKORE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AN...
- Publication number 20220113990
- Publication date Apr 14, 2022
- Canon Kabushiki Kaisha
- Nobuhiro Tagashira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STORAGE DEVICE FOR PERFORMING FIRMWARE UPDATE AND OPERATING METHOD...
- Publication number 20220091750
- Publication date Mar 24, 2022
- Samsung Electronics Co., Ltd.
- SOOHWAN KANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA PLANE PROGRAM VERIFICATION
- Publication number 20220083352
- Publication date Mar 17, 2022
- Barefoot Networks, Inc.
- Jeongkeun LEE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING BIG CODE TO CONSTRUCT CODE CONDITIONAL TRUTH TABLES
- Publication number 20220075619
- Publication date Mar 10, 2022
- International Business Machines Corporation
- Andrew C. M. Hicks
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE PROTECTION
- Publication number 20220075847
- Publication date Mar 10, 2022
- ASSURED INFORMATION SECURITY, INC.
- Adam MEILY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGEMENT OF TRANSPORT SOFTWARE UPDATES
- Publication number 20220043648
- Publication date Feb 10, 2022
- Toyota Motor North America, Inc.
- Louis Brugman
- G06 - COMPUTING CALCULATING COUNTING

Programme code verification

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Information processing apparatus, information processing method, an...

Distinguished nest-based access control

Implementing hardware-based memory safety for a graphic processing...

Dynamic processor architecture control

Method and microcontroller for driving in-system-programming

On-chip NVM ISP emulation in FPGA

Systems and methods for malware detection in portable executable files

Dynamic processor architecture control

System and method for generating machine code from a mock application

Methods and apparatus to generate code as a plug-in in a cloud comp...

Secure DevSecOps pipeline with task signing

Native-image in-memory cache for containerized ahead-of-time applic...

Retaining Dafny specifications

Devices, systems, and methods for providing on-demand engine softwa...

Non-transitory computer-readable recording medium, control method,...

Deploying device campaign updates to IoT devices

Management of transport software updates

Secure digital assistant integration in web pages

Transitioning legacy software to be provably correct

Using embedded elements for online content verification

Robotic process automation system with a command action logic indep...

Using embedded elements for online content verification

Secure embedded system and method of making secure

Lazy copying of runtime-managed stack frames

Systems and methods of a metadata orchestrator augmenting applicati...

Data plane program verification

Using embedded elements for online content verification

Systems and methods for robotic process automation

Bytecode verification using class relationship caching

System and method for data-layout aware decompression and verificat...

Patents Applicationslast 30 patents

DISPLAY DEVICE AND OPERATING METHOD THEREOF

METHODS AND APPARATUS TO GENERATE CODE AS A PLUG-IN IN A CLOUD COMP...

METHOD FOR GENERATING AND VERIFYING AUTOMOTIVE EMBEDDED SOFTWARE BA...

MANAGEMENT OF TRANSPORT SOFTWARE UPDATES

SECURE DIGITAL ASSISTANT INTEGRATION IN WEB PAGES

USING EMBEDDED ELEMENTS FOR ONLINE CONTENT VERIFICATION

SYSTEM AND METHOD FOR GENERATING MACHINE CODE FROM A MOCK APPLICATION

METHOD AND MICROCONTROLLER FOR DRIVING IN-SYSTEM-PROGRAMMING

BATCH PROCESSING DURING BOT RUNTIME

SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES

DISTINGUISHED NEST-BASED ACCESS CONTROL

NON-TRANSITORY COMPUTER-READABLE RECORDING MEDIUM, CONTROL METHOD,...

SYSTEM AND METHOD FOR BUILDING LEASED INFRASTRUCTURE TRUST DOMAINS

CODE UPDATE IN SYSTEM MANAGEMENT MODE

Method and System for Executing Applications Using Native Code Modules

AGGREGATE FEATURES FOR MACHINE LEARNING

METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...

SECURE DEVSECOPS PIPELINE WITH TASK SIGNING

SYSTEM AND METHOD FOR DATA-LAYOUT AWARE DECOMPRESSION AND VERIFICAT...

BYTECODE VERIFICATION USING CLASS RELATIONSHIP CACHING

ROBOTIC PROCESS AUTOMATION SYSTEM WITH A COMMAND ACTION LOGIC INDEP...

NATIVE-IMAGE IN-MEMORY CACHE FOR CONTAINERIZED AHEAD-OF-TIME APPLIC...

DEVICES, SYSTEMS, AND METHODS FOR PROVIDING ON-DEMAND ENGINE SOFTWA...

Systems and Methods for Preparing and Deploying Cross-Platform Appl...

INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AN...

STORAGE DEVICE FOR PERFORMING FIRMWARE UPDATE AND OPERATING METHOD...

DATA PLANE PROGRAM VERIFICATION

USING BIG CODE TO CONSTRUCT CODE CONDITIONAL TRUTH TABLES

CODE PROTECTION

MANAGEMENT OF TRANSPORT SOFTWARE UPDATES