Sterne, Kessler, Goldstein & Fox P.L.L.C.
Systems and methods for adaptive 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 the application architecture model comprises a plurality of component models. A property model type may be selected, based on a property to be checked, from a plurality of property model types. One or more component models may be selected, based on the selected property model type, from the plurality of component models. The one or more selected component models may be used to construct at least one property model of the selected property model type. The at least one property model may be analyzed to determine if the property is satisfied with respect to the at least one property model.
Synopsys, Inc.
G G G H G G G H G G
G06F G06F G06F H04L G06F G06F G06F H04L G06F G06F
inventional inventional inventional inventional inventional additional inventional inventional inventional inventional
Guodong John
Li Steven