BECHLER MARC

Method for computer-aided detection of errors during the execution of one or more software-based programs in a system of components