Для определения корректности программы достаточно статического анализа кода?

Можно ли ввести критерий корректности для программы-генератора случайных чисел?

Для программ существует формальное математическое определение корректности?

Процесс отличается от программы:

Порядок исполнения программы:

Порядок исполнения программы в важных местах можно зафиксировать?

Время и временные отметки – это синонимы с точки зрения программы?

Выключение оптимизации компилятора гарантирует заданный порядок исполнения программы?

Управляя квотой на использование кэша, можно влиять на скорость программы:

Может ли существовать модель программы с пустым множеством конечных состояний?

Использование локально расположенных данных может дать прирост производительности программы?