Method and system for source code verification using machine learning based strategy prediction

Abstract

This disclosure relates generally to method and system for source code verification using machine learning based strategy prediction. The method receives a source code comprising a plurality of function properties to be verified. Further, the source code is sliced using at least one sequence slicer among a plurality of sequence slicers and a feature vector generator extracts a plurality of feature vectors from each slice. Further, a neural network generates a plurality likelihood of success values by applying a plurality of verification techniques over each feature vector among the plurality of feature vectors to predict a verification strategy to be applied over each slice to be verified. Furthermore, a verification result is displayed as one of a verification successful (S), a verification failure (F) and an unknown (U) when each slice is not verified for the verification strategy run out of time or memory.