CORRECTNESS VERIFICATION SYSTEM, METHOD, DEVICE, AND PROGRAM

To provide a correctness verification system, a method, a device, and a program.SOLUTION: There is provided a method for determining correctness of properties in components of a system executed by an electronic device. The method comprises: setting known properties of the components of the system; d...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: JEAN-FRANCOIS BASTIEN
Format: Patent
Sprache:eng ; jpn
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!