Computer-implemented method for verifying at least one software component of automated driving function

The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable edge conditions, the environment model is provided in the form of local environment model program code 110, 210, the local program code 105, 205 of the software component to be verified and the environment model program code 110, 210 are compiled 115, and a model checker representation 219, 219, 219, 219) for the software component to be verified, which model checker representation is limited by edge conditions of the environment model, is generated. And verifying 220 the model inspector representation 219 using a model inspection method. A software component of an automated driving function and a computer-implemented system for implementing an automated driving function are also presented. 提出一种用于验证自动化驾驶功能的至少一个软件组件的计