The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 13, 2026
Filed:
Sep. 02, 2021
Robert Bosch Gmbh, Stuttgart, DE;
Arne Nordmann, Stuttgart, DE;
Peter Munk, Renningen, DE;
Andreas-Juergen Rohatschek, Wernau/Neckar, DE;
Eike Martin Thaden, Renningen, DE;
Lydia Gauerhof, Sindelfingen, DE;
Markus Schweizer, Vaihingen/Enz, DE;
Robert Bosch GmbH, Stuttgart, DE;
Abstract
A computer-implemented method for testing an, in particular, safety-relevant, technical system, in particular including software and/or hardware components. The method includes the following steps: providing a model of the technical system; providing a set of requirements to the technical system; converting a particular requirement 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 a particular requirement has been met by the model, the checking taking place by carrying out at least one program solver for a particular formal expression.