Llm Kontextueller Fsms Generator und Compiler zur Formalen Verifikation

Details

Veröffentlichungs-Nr.

EP4760584

Anmeldetag

27. November 2025

Veröffentlichung

17. Juni 2026

Rechtsraum

EP

IPC

G06F30/27, G06F30/3323

Abstract

An apparatus comprising a first large language model (LLM) system configured to receive a natural language specification of a system design and generate a first description of the system design in a temporal logic language responsive to the natural language specification. A second LLM system is configured to receive the natural language specification and generate a second description of the system design in the temporal logic language. A first finite state machine (FSM) is configured to generate verification properties for the system design responsive to the first description of the system design in the temporal logic language. A second FSM is configured to generate verification drivers for the system design responsive to the first description of the system design. A formal verification (FV) tool is configured to indicate whether the system design passes or fails responsive to the first description of the system design in a temporal logic language.

Anmelder

Firma

RTX Corporation

Land

🇺🇸 USA