Automated software verification service

A method of using a single application programming interface (API) to coordinate verification activity of source code, comprising:

• receiving at the API a first request to verify a first source code for a program;
• determining a first configuration of a set of verification tools to use for verification of the first source code based on a first verification specification included in the first request, wherein the first configuration comprises first settings for a first verification tool of the set of verification tools and second settings for the first verification tool different from the first settings;
• causing a first plurality of virtual resources comprising the set of verification tools to perform verification of the first source code using the first configuration, wherein causing the first plurality of virtual resources to perform the verification of the first source code comprises:
• configuring a first virtual resource of the first plurality of virtual resources to use the first settings for the first verification tool;
• configuring a second virtual resource of the first plurality of virtual resources to use the second settings for the first verification tool;
• and
• causing the first virtual resource and the second virtual resource to perform one or more verification tasks in parallel using the first verification tool;
• receiving at the API a second request to verify a second source code for the program;
• determining a second configuration of the set of verification tools to use for verification of the second source code based on a second verification specification included in the second request, wherein the second source code is different from the first source code;
• causing a second plurality of virtual resources comprising the set of verification tools to perform verification of the second source code using the second configuration;
• and
• outputting a result of the verification of the second source code.

A system comprising:

• one or more memory devices;
• and
• one or more processing devices, wherein each of the one or more processing devices is operatively coupled to at least one of the one or more memory devices, wherein the one or more processing devices are configured to:
• detect that a new version of source code for a program is available;
• responsive to detection that the new version of the source code is available, invoke a verification service;
• automatically determine, via the verification service, one or more verification tools to use for verification of the new version of the source code from a verification specification associated with the source code;
• automatically determine, via the verification service, a plurality of verification tasks to perform for the verification of the new version of the source code from the verification specification associated with the source code;
• automatically perform, via the verification service, the plurality of verification tasks for the new version of the source code using the one or more verification tools;
• and
• determine, via the verification service, whether the new version of the source code is verified;
• wherein automatically performing the plurality of verification tasks comprises:
• performing a first verification task by a first virtual resource comprising a first combination of the verification tools;
• performing the first verification task by a second virtual resource comprising a second combination of the verification tools while the first verification task is performed by the first virtual resource;
• determining that the first verification task has been completed by a first one of the first virtual resource and the second virtual resource;
• and
• terminating the performance of the first verification task by a second one of the first virtual resource and the second virtual resource.