Deskripsi
Metodologi dalam spesifikasi perangkat lunak formal, pengembangan, dan verifikasi. Penggunaan pembuktian teorema, deduksi otomatis, dan metode formal terkait lainnya untuk kebenaran perangkat lunak. Aplikasi dalam verifikasi program dan komputasi aman.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/grad/courses/COMP/