Запитання з тегом «program-correctness»

Як інженер програмного забезпечення, я пишу багато коду для промислової продукції. Відносно складні речі з класами, нитками, деякими зусиллями в галузі дизайну, а також деякими компромісами для продуктивності. Я дуже багато тестую, і мені набридло тестування, тому я зацікавився інструментами формального доказування, такими як Coq, Isabelle ... Чи можу я …

66 programming-languages  program-correctness  software-verification 

З Вікіпедії: У теоретичній інформатиці правильність алгоритму стверджується, коли кажуть, що алгоритм правильний щодо специфікації. Але проблема полягає в тому, що отримати "відповідну" специфікацію не є тривіальним завданням, і немає 100% правильного методу (наскільки я знаю), щоб отримати правильний, це просто оцінка, тому якщо ми збираємось приймати присудок як специфікацію …

17 formal-methods  software-verification  program-correctness 

З приводу помилки із сердечкою, Брюс Шнайер написав у своїй крипто-грамі від 15 квітня: "Катастрофічний" - це правильне слово. За шкалою від 1 до 10 це 11. ' Я прочитав кілька років тому, що ядро ​​певної операційної системи було суворо перевірено сучасною системою перевірки програм. Чи можуть, таким чином, запобігти …

9 cryptography  correctness-proof  security  software-verification  program-correctness