Чем отличается сигнатура метода от последовательной спецификации?
Порядок исполнения программы:
Время и временные отметки – это синонимы с точки зрения программы?
Порядок исполнения программы в важных местах можно зафиксировать?
Для определения корректности программы достаточно статического анализа кода?
Выключение оптимизации компилятора гарантирует заданный порядок исполнения программы?
Можно ли ввести критерий корректности для программы-генератора случайных чисел?
Управляя квотой на использование кэша, можно влиять на скорость программы:
Может ли существовать модель программы с пустым множеством конечных состояний?