2110502 FORMAL VER
การทวนสอบเชิงรูปนัย
FORMAL VERIFICATION
คณะ
คณะวิศวกรรมศาสตร์
ภาควิชา/กลุ่มวิชา/สาขาวิชา
ภาควิชาวิศวกรรมคอมพิวเตอร์
รูปแบบรายวิชา
LECT
หน่วยกิต
3
สอบกลางภาค
TBA
สอบปลายภาค
TBA
เงื่อนไขรายวิชา
-
วิธีการวัดผล
Letter Grade
คำอธิบายรายวิชา (ภาษาไทย)
คณิตตรรกศาสตร์และตรรกศาสตร์เชิงกาลเวลา แบบจำลองเชิงรูปนัย การระบุโดเมนปัญหาและการสร้างแบบจำลองเชิงรูปนัยของระบบที่มีภาวะพร้อมกัน และ/หรือระบบอสมวาร การทวนสอบแบบจำลองเชิงรูปนัย การทำโมเดลเช็กกิ้ง ภาษาที่ใช้ในการจำลองระบบเพื่อการทวนสอบและเครื่องมือ เพทริเน็ต กราฟการเปลี่ยนสภาพสัญญาณ โพรเมลาและสปิน
คำอธิบายรายวิชา (ภาษาอังกฤษ)
Mathematical logic and temporal logic; formal models; identifying problem domain and building the formal models of concurrent system and/or asynchronous system; verification of the formal models; model checking; verification modeling language and tools; Petri Nets, signal transition graph, fromela and SPIN.
Group: GRAD CP
Sec 1
1/30
1/30
| ผู้สอน | วันเวลาเรียน | ห้องเรียน | รูปแบบ |
|---|---|---|---|
WWW | TUE 13:00 - 16:00 | ENG3 405 | LECT |
Group: ???????????? 18-16
Sec 5
6/30
6/30
| ผู้สอน | วันเวลาเรียน | ห้องเรียน | รูปแบบ |
|---|---|---|---|
WWW | SAT 13:00 - 16:00 | ENG4 AR | LECT |
Group: General
Sec 21
0/30
0/30
| ผู้สอน | วันเวลาเรียน | ห้องเรียน | รูปแบบ |
|---|---|---|---|
WWW | TUE 13:00 - 16:00 | ENG3 405 | LECT |
