Инструмент для моделирования запланированного к выпуску ядра и проверки корректности параллельных процессов