首页>
外国专利>
Including a plurality of operations to be performed in parallel to the data structures, computer-implemented method for verifying the correctness of the execution history, system and computer program
Including a plurality of operations to be performed in parallel to the data structures, computer-implemented method for verifying the correctness of the execution history, system and computer program
Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.
展开▼