Deskripsi
Pengantar metode formal dalam rekayasa perangkat lunak yang mencakup logika proposisional dan orde pertama (sintaks, semantik, teori bukti), bahasa spesifikasi formal, analisis terbatas dan validasi, alat spesifikasi formal, dan model checking dengan mesin status hingga, logika temporal, dan alat model checking.
Prasyarat
- Prasyarat: COMP 1805, SYSC 3120, dan SYSC 4001.
Syarat dan ketentuan
- Prasyarat: COMP 1805, SYSC 3120, dan SYSC 4001.
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
Introduction to formal methods in software engineering with coverage of propositional and first-order logic (syntax, semantics, proof theory), formal specification languages, bounded analysis and validation, formal specification tools, and model checking with finite-state machines, temporal logic, and model checking tools.
- Prerequisite(s): COMP 1805 , SYSC 3120 , and SYSC 4001 .
- Lectures three hours a week.
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/undergrad/courses/SYSC/