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:
Oct. 06, 2026
Filed:
Sep. 13, 2024
Robert Bosch Gmbh, Stuttgart, DE;
Dominik Germek, Berlin, DE;
Maria Irina Nicolae, Stuttgart, DE;
Robert Bosch GmbH, Stuttgart, DE;
Abstract
A software verification device. The device includes: a rule database having a plurality of rules, each rule containing a criterion regarding one or more software features and a software property, the rule stating that software that satisfies the criterion has the software property, an input interface configured to receive a specification (e.g., source code) of a software, and one or more processors configured to ascertain which of the software features the software has, and to ascertain, on the basis of which software features the software has been ascertained to have, which of the rules contain criteria that are satisfied, and to ascertain, according to the rules that contain criteria that are satisfied, which of the software properties the software has, and to ascertain whether the software properties that the software has been ascertained to have satisfy one or more predetermined requirements.