> -- Valery Solovey писал(а):
> Цикл Дейкстры ничего не доказывает. И приведение к нему параллельных (и уж тем более распределённых) программ не сделает оные корректными.
По секрету всему свету скажу, что да, цикл Дейкстры сам по себе ничего не доказывает. Доказывает инвариант цикла, метод слабейших предусловий и законы логики.