Описание
Методики формальной спецификации программного обеспечения, разработки и верификации. Использование доказательства теорем, автоматического вывода и других связанных формальных методов для корректности программного обеспечения. Применения в верификации программ и защищённых вычислениях.
Текст источника на языке оригинала
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/grad/courses/COMP/