Computer-implemented method and system for verifying software-based behavioral planner

The invention relates to a computer-implemented method and system for verifying a software-based behavioral planner for an automated driving function, comprising the following steps: providing a verification environment model for limiting a state space of the behavioral planner in accordance with a predeterminable traffic scenario; providing a formalized requirement as a criterion for correctness of the determination by the behavior planner; generating a model checker representation of the behavioral planner taking into account the provided verification environment model; the model checker representation is analyzed in terms of formalized requirements by means of a model checking method. At least one physically meaningful parameter interval of at least one location and/or motion parameter of the participant of the predetermined traffic scene is determined by means of the verification environment model. At least one parameter interval is taken into account during the analysis of a model checker representation