Method and system for verifying properties of source code

A system (100) verifying properties of source code, the system (100) comprising:

• a memory (102) storing instructions;
• one or more Input/Output (I/O) interfaces (106);
• and one or more processors (104) coupled to the memory (102) via the one or more I/O interfaces (106), wherein the processor (104) is configured by the instructions to:
• receive, a source code for verifying properties, wherein the source code annotated with a plurality of properties corresponding to assertions to be grouped, wherein the plurality of properties are defined by a user;
• analyze, the source code to merge the plurality of properties into a plurality of groups based on a grouping technique, wherein one or more properties grouped under each group among the plurality of groups wherein the grouping technique comprises one of a slice subsumption (SS) grouping technique, a data flow dependence (DD) grouping technique and a data and control flow dependence (DC) grouping technique, wherein the grouping techniques creates disjoint group;
• create, a slice for each group among the plurality of groups;
• and
• verify, each slice created for each group, wherein the verification of the one or more properties within each group is performed simultaneously.

One or more non-transitory machine readable information storage mediums comprising one or more instructions which when executed by one or more hardware processors perform actions comprising:

• receiving, by the processor (104), a source code for verifying properties, wherein the source code annotated with a plurality of properties corresponding to assertions to be grouped, wherein the plurality of properties are defined by a user;
• analyzing, by the processor (104), the source code to merge the plurality of properties into a plurality of groups based on a grouping technique, wherein one or more properties grouped under each group among the plurality of groups wherein the grouping technique comprises one of a slice subsumption (SS) grouping technique, a data flow dependence (DD) grouping technique and a data and control flow dependence (DC) grouping technique, wherein the grouping techniques creates disjoint group;
• creating, by the processor (104), a slice for each group among the plurality of groups;
• and
• verifying, by the processor (104), each slice created for each group, wherein the verification of the one or more properties within each group is performed simultaneously.