Method, device and computer program for testing a technical system based on a model

A non-transitory computer-readable medium on which is stored computer program for testing a safety-relevant technical system including software and/or hardware components, the computer program including computer-readable instructions which, when executed by a computer, causing the computer to perform the following steps:

• providing a model of the technical system;
• providing a set of requirements to the technical system;
• converting a particular requirement of the requirements into at least one formal expression of at least one formal logic, the formal logic being selected from a logic set, which includes at least two formal logics, based on properties of the requirements;
• checking whether the particular requirement has been met by the model, the check taking place by carrying out at least one program solver for a particular formal expression of the at least one formal expression.

A device configured to test a safety-relevant technical system including software and/or hardware components, the device being configured to:

• provide a model of the technical system;
• provide a set of requirements to the technical system;
• convert a particular requirement of the requirements into at least one formal expression of at least one formal logic, the formal logic being selected from a logic set, which includes at least two formal logics, based on properties of the requirements;
• check whether the particular requirement has been met by the model, the check taking place by carrying out at least one program solver for a particular formal expression of the at least one formal expression.