Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: Disclosed herein are methods, systems, and computer program products directed to a guidance engine. The guidance engine is configured to query a knowledge base for guidance with respect to a property of a software application. The guidance engine receives a responsive query from the knowledge base that is based on the property. The responsive query informs a user of the guidance engine how to address a vulnerability within the software application by performing a transform with respect to a property of the software application.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: 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.

Abstract: Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.

Abstract: 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.

Abstract: Systems and methods for software verification. In some embodiments, a first statement is identified, from a discovery query written in a query language, the first statement comprising a side-effect construct with at least a first parameter and a second parameter, wherein: the first parameter of the side-effect construct comprises at least one second statement specifying one or more actions to be performed; and the second parameter of the side-effect construct comprises at least one condition specified based on a syntactic pattern. Source code of a software application may be analyzed to determine whether the at least one condition is satisfied, wherein determining whether the at least one condition is satisfied comprises determining whether the source code comprises a program element that matches the syntactic pattern.

Abstract: Systems and methods for software verification. In some embodiments, a first statement is identified, from a discovery query written in a query language, the first statement comprising a side-effect construct with at least a first parameter and a second parameter, wherein: the first parameter of the side-effect construct comprises at least one second statement specifying one or more actions to be performed; and the second parameter of the side-effect construct comprises at least one condition specified based on a syntactic pattern. Source code of a software application may be analyzed to determine whether the at least one condition is satisfied, wherein determining whether the at least one condition is satisfied comprises determining whether the source code comprises a program element that matches the syntactic pattern.

Abstract: 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.

Abstract: Disclosed herein are methods, systems, and computer program products directed to a guidance engine. The guidance engine is configured to query a knowledge base for guidance with respect to a property of a software application. The guidance engine receives a responsive query from the knowledge base that is based on the property. The responsive query informs a user of the guidance engine how to address a vulnerability within the software application by performing a transform with respect to a property of the software application.

Abstract: Systems and methods for software verification. In some embodiments, a statement is identified from a discovery query written in a query language, comprising a semantic operator with at least a first parameter and a second parameter, wherein: the first parameter comprises a first syntactic pattern; the second parameter comprises a second syntactic pattern; and the semantic operator represents a semantic relationship between two program elements. Source code of a software application may be analyzed to determine whether one or more portions of source code match the statement identified from the discovery query, wherein analyzing the source code comprises determining whether the source code comprises a first program element and a second program element such that the first program element matches the first syntactic pattern; the second program element matches the second syntactic pattern; and the first and second program elements satisfy the semantic relationship represented by the semantic operator.

Abstract: Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.

Abstract: 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.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.

Abstract: The present invention provides a single domain specific binding molecule having the structure FW1-CDR1-FW2-HV2-FW3a-HV4-FW3b-CDR3-FW4 in which the Framework Regions FW1, FW2, FW3a, FW3b, and FW4, the Complementarity Determining Regions CDR1 and CDR3, and the Hypervariable Regions HV2, and HV4 have amino acid sequences as defined which provide a high affinity anti-human serum albumin (HSA) binding domain.