Software inspection apparatus
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Aug 6, 2019
Grant Date -
Dec 21, 2017
app pub date -
Jan 30, 2015
filing date -
Jan 30, 2015
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
While the effectiveness of a model inspection method as a means for detecting software defects is known, large-scale software cannot be handled due to great amounts of calculation required for inspection. According to the present invention, after a model inspection problem of software is attributed to be a satisfiability determination problem, the problem is converted to a type that can be solved by a solver used for solving a notification optimization problem having constrained conditions, and the satisfiability is determined in a numerically analytical manner.
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