Вопросы с тегом «se.software-engineering»

Проблема Halting гласит, что невозможно написать программу, которая может определить, останавливается ли другая программа, для всех возможных программ ввода . Тем не менее, я могу, конечно, написать программу, которая может вычислить время выполнения программы вроде: for(i=0; i<N; i++) { x = 1; } и вернуть временную сложность , даже не …

23 computability  time-complexity  formal-methods  se.software-engineering 

Я самостоятельно изучаю формальные методы. Я слышал, что формальные методы используются (и обычно используются только) для создания критически важных программ (таких как контроллер ядерного реактора, контроллер полета самолета, контроллер космического зонда). Вот почему мне интересно узнать это: p Однако, после изучения формальных методов (особенно LTL, CTL и их братьев и …

15 program-verification  formal-methods  se.software-engineering