>ни слова о formal methods >имплицируется победа бюрократии над багами в очередной раз поссал на этих петухов ну и ОПу в лицо немного пстрыкнул