METHOD FOR VERIFYING GENERATED SOFTWARE, AND VERIFYING DEVICE FOR CARRYING OUT SUCH A METHOD
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Aug 4, 2016
app pub date -
Sep 5, 2014
filing date -
Sep 5, 2014
priority date (Note) -
Published
status (Latency Note)
Importance
Abstract
The invention relates to a method for verifying generated software (1), in particular of a computer program, which software (1) is produced by means of a software generator (2), wherein the software (1) is produced by the software generator (2) on the basis of a system description (3). The invention also relates to a verifying device for carrying out such a method. In order to verify the software (1) a verifying device (4) is provided, wherein
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully