...
PENELOPE: Weaving Threads to Expose Atomicity Violations
https://github.com/sorfrancesco/Penelope
Считаем, что нам известны результаты последовательного выполнения. На вход получаем какой-то алгоритм и входные данные. Начинаем работу. Работа разбита на 3 этапа:
...