Verfahren zur Überprüfung eines Computerprogramms mit Fehlerprüfungsrichtlinien, Vorrichtung und Entsprechendes Computerprogramm
Anmelder: Mitsubishi Electric R&D Centre Europe B.V., MITSUBISHI ELECTRIC CORPORATION 🇳🇱
Details
- Veröffentlichungs-Nr.
- EP4822545
- Anmeldetag
- 9. April 2025
- Veröffentlichung
- 14. Oktober 2026
- Rechtsraum
- EP
- IPC
- G06F11/3604
Abstract
The disclosure relates to a computer program verification method, the computer program verification method comprising,- a computer program transformation phase (P01) in which an input program (InPrg) that comprises at least one function call to at least one abstract mathematical function (f<sub>i</sub>) is transformed in *an output program (OutPrg), the output program (OutPrg) comprising at least one call to a lower precision implementation f̂<sub>i</sub> of the at least one mathematical function f<sub>i</sub> and at least one error verification directives (evd) linked to the lower precision implementation f̂<sub>i</sub> of the at least one mathematical function f<sub>i</sub>,- a computer program verification phase (P02) in which the output program (OutPrg) is provided to a formal verification module (FVM), the formal verification module (FVM) using the error verification directives (evd) to ensure correctness (cor) of the input program (InPrg).
Anmelder
- Firmen
- Mitsubishi Electric R&D Centre Europe B.V.
MITSUBISHI ELECTRIC CORPORATION - Land
- 🇳🇱 Niederlande
Niederländische Forschungs- und Entwicklungseinrichtung des japanischen Mitsubishi-Electric-Konzerns. Betreibt technologische Forschung für Elektronik-, Kommunikations- und Automatisierungslösungen für den europäischen Markt.
746 Patente in unserer Datenbank
Japanisches Unternehmen, das Elektro- und Elektroniktechnik entwickelt und herstellt, darunter Automatisierung, Energie-, Klima- und Fahrzeugtechnik.
37.757 Patente in unserer Datenbank
Fachgebiete
Vertreten von
-
Plasseraud IP
Plasseraud IP · Paris