Запитання з тегом «se.software-engineering»

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

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

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

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