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...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Patent |
Sprache: | eng ; jpn |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!