-
- Ага, это если "верхний уровень" безглючный. Что сомнительно. - SciFi(03.03.2015 16:02)
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А мы набор параметров тоже будем из описания Самого Высокого Уровня компилировать :) - Evgeny_CD(03.03.2015 16:10)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
- Ага, это если "верхний уровень" безглючный. Что сомнительно. - SciFi(03.03.2015 16:02)