Method for verifying systems assembled from software components, involves bringing together software components to system abstractions for verification, where verifying conditions for software components are loaded

摘要

The method involves bringing together the software components to system abstractions for the verification. The verifying conditions for the software components are loaded. Both the system abstractions are connected for producing a mechanism for verification by repeated interactions in the absence of a source code.