Так как спецификация программы является предикатом, то она может быть:

Спецификация программы является единственным корректным способом:

Спецификация задачи на итерацию имеет вид:

Программа S является правильной при заданных Q и R, если спецификация {Q} S {R} является:

Для произвольного множества выпуклая оболочка может быть получена как:

В римской системе счисления число 438 может быть представлено так:

В римской системе счисления число 3678 может быть представлено так:

В римской системе счисления число 3900 может быть представлено так:

Истинность утверждения на котором базируется схема проектирования цикла при помощи инварианта может быть выведена из:

Следующая спецификация:{i=0}"i++;"{i=j}:

Следующая спецификация:{i=0}"i++;"{i=1}: