Sterne, Kessler, Goldstein & Fox P.L.L.C.
System and methods for model-based analysis of software
Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application and a framework model representing a software framework using which the software application is developed; and the application architecture model comprises a plurality of component models. One or more component models may be selected, based on a property to be checked, from the plurality of component models. The one or more component models may be analyzed to determine if the property is satisfied.
Synopsys, Inc.
G G G H H G G G G G
G06F G06F G06F H04L H04L G06F G06F G06F G06F G06F
inventional inventional inventional inventional inventional additional inventional inventional inventional inventional
Guodong John
Li Steven