Еще один аргумент против отладчика: отладчики (насколько я знаю) плохо справляются со случаем параллельности. Как отлаживать параллельную программу в отладчике!?!

А доказательный подход позволяет разработать правильную параллельную программу.