Исправление red75prim, 06.06.17 21:43 (текущая версия) :
А ещё бэкдор можно засунуть в спецификацию, на соответствие которой верифицируют, и в железо, и в Coq.
Исходная версия red75prim, 06.06.17 21:42:
А ещё бэкдор можно засунуть в спецификацию, на соответствие которой верифицируют, и в железо.