27
ответов
Почему программы не могут быть доказаны?
Почему компьютерная программа не может быть доказана, как математическая формулировка может? Математическое доказательство создается на других доказательствах, которые создаются еще от большего количества доказательств и на вниз к аксиомам - они...
вопрос задан: 10 June 2012 10:12
9
ответов
Формальные методы программы verfication имеют место в промышленности?
Я взял проблеск на Логике Хоара в колледже. То, что мы сделали, было действительно просто. Большая часть того, что я сделал, доказывала правильность простых программ, состоящих из циклов с условием продолжения, если операторы и последовательность...
вопрос задан: 28 July 2009 22:14
8
ответов
Официально проверяя правильность алгоритма
В первую очередь, действительно ли это только возможно на алгоритмах, которые не имеют никаких побочных эффектов? Во-вторых, где я мог узнать об этом процессе, каких-либо хороших книгах, статьях, и т.д.?
вопрос задан: 27 January 2010 19:01
5
ответов
Как разработать и проверить распределенные системы?
Я работал над проектом, который является комбинацией сервера приложений и объектной базы данных, и в настоящее время работает на единственной машине только. Некоторое время назад я прочитал газету, которая описывает...
вопрос задан: 7 February 2009 17:48
4
ответа
Каков Ваш опыт с проверкой модели программного обеспечения? [закрытый]
Какие типы приложений Вы использовали проверку модели? Какой инструмент проверки модели Вы использовали? Как Вы суммировали бы свой опыт w/техника, конкретно в оценке...
вопрос задан: 28 August 2008 15:10
2
ответа
Исчерпывающий верификатор веб-сайта
У меня есть эта главная идея в основном использовать некоторую атаку перебором для тестирования/проверения того моего веб-приложения, не отказывает. Не запускайте меня на поблочном тестировании и материале МОК, это - что-то еще...
вопрос задан: 22 February 2010 14:29
0
ответов
Можно ли проверить / проверить модель / проверить функции Haskell с помощью свойства правильности?
Продолжение идей в: Существуют ли какие-либо доказуемые языки реального мира? Не знаю, как вы, но мне надоело писать код, который я не могу гарантировать. Задав вышеупомянутый вопрос и получив ...
вопрос задан: 23 May 2017 12:32
0
ответов
Существуют ли какие-либо доказуемые языки реального мира? (scala?)
В университете меня учили формальным системам, но я был разочарован тем, что они, казалось, не использовались в настоящем слове. Мне нравится идея знать, что какой-то код (объект, функция, ...
вопрос задан: 9 June 2012 22:31
0
ответов
Инструмент для проверки моделей больших распределенных проектов C ++, таких как KDE?
Есть ли инструмент, который может обрабатывать большие, реальные- мир, в основном - C ++, распределенные системы, например KDE? (KDE - это распределенная система в том смысле, что она использует IPC, хотя обычно все…
вопрос задан: 10 November 2010 06:52