The Math Verification (“MV”) system manages, generates and collects information from a set of active adapter agents. It processes then serializes the results and saves to HTML and JSON file reports which can then be analyzed for execution completeness, correctness, and performance.

The Math verification Controller oversees the entire process by executing the agents or adapters through a host. Agents are executed in parallel threads and the results are aggregated into a single result.