>>923
証明を探す為には問題がある事を知ってなきゃならないけど、
排他制御の必要性とか、デッドロックの問題とか、
実際に問題が起きてみないと問題自体の存在に気が付かないっしょ。

結局は試行錯誤しながら、問題を見つけて、それを解きながら作るか、
先人たちの研究の成果を教科書で勉強するかしかないんでない?