EC 7030 - Metoda Formal
News
- Hari Senin, 28 Maret 2005, kuliah ditiadakan.
Mohon maaf atas ketidaknyamanan ini. Informasi datang terlambat.
Anda ditugaskan untuk mempelajari lebih jauh mengenai PROMELA dan SPIN,
khususnya untuk persiapan praktikum. (Anda bisa memulai sendiri praktikum
jika anda telah berhasil memasang SPIN di komputer anda.)
Materi
Materi kuliah secara lengkap (termasuk versi lama) dapat diperoleh dari situs
EC 7030 (di luar kampus).
Berikut ini adalah koleksi lokal.
- Silabus
- Pengantar Metoda Formal.
Materi Power Point.
Draft Buku Metoda Formal (dalam bentuk PDF)
- Communicating Sequential Processes (CSP)
- Referensi: C.A.R. Hoare, "Communicating Sequential Processes,"
Communications of the ACM, Vol. 21, No. 8, pp. 666-677, August 1978.
PDF
- PROMELA dan SPIN
- Buku Holzmann (di direktori ini)
- Tugas Lab.: Dokumen untuk lab (PDF).
Tugas lab Promela harap dikumpulkan waktu kuliah.
- Source code dari SPIN dapat diperoleh dari spinroot.com
Koleksi lokal ada di sini
- Binary Decison Diagram (BDD)
- Bahan bacaan utama dari paper
R. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation,"
IEEE Transaction on Computers, Vol.C-35, No. 8, August 1986.
(Copy ada di sini untuk memudahkan download,
dalam format PDF)
- Technical Report tentang BDD dari CMU
- Bahan bacaan lain: Formal Hardware Verification with BDD (A. Hu).
- Source code bdd dari CMU
- Tugas: Laboratorium dengan menggunakan KBDD.
Manual lab dalam format RTF.