Açıklama
Formal yazılım belirtimi, geliştirme ve doğrulama metodolojileri. Yazılım doğruluğu için teorem kanıtlama, otomatik çıkarım ve diğer ilgili formal yöntemlerin kullanımı. Program doğrulama ve güvenli hesaplama uygulamaları.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/grad/courses/COMP/