Model Checking. Верификация параллельных и распределенных программных систем