| 摘要 |
The method involves sending a request for loading a memory e.g. flash memory, to a computing apparatus (2). A request for executing a verification program is sent to the computer device for saturating available memory non occupied by the program, where the verification program permits writing and reading data into/from the memory for sending the data to an input/output device. Messages are exchanged with the apparatus by executing the program. Conformity of the logical content of the apparatus is verified based on messages exchanged with the apparatus. Independent claims are also included for the following: (1) a method for restoration of a computing apparatus (2) a computing apparatus comprising a processor. |
