311031020_Software_System_Model_Checking_-.PDFVIP

四川大学软件学院四川大学软件学院软件工程专业软件工程专业课程大纲课程大纲 四川大学软件学院四川大学软件学院软件工程专业软件工程专业课程大纲课程大纲 College of Software Engineering Undergraduate Course Syllabus Course ID 311031020 Course Name Software System Model Checking Course □Compulsory Course ■■English ■■ Credit Hour 2 Period 32 Attribute ■■ Selective Language □ Chinese ■■ □ First Fall □ First Spring □ Second Fall □ Second Spring Semester ■Third Fall □ Third Spring □ Fourth Fall □ Fourth Spring Instructors Song Xiaoyu Today, software systems are widely used in applications where failure is unacceptable. Because of the success of the Internet and embedded systems in automobiles, airplanes, and other safety critical systems, we are likely to become even more dependent on the proper functioning of computing devices in the future. Due to this rapid growth in technology, it will become more important to develop methods that increase our confidence in the correctness of such systems. Traditional verification techniques use simulators with handcrafted or random test vectors to validate the design. Unfortunately, generating test vectors is very labor-intensive. The overall complexity of the designed systems implies that simulation cannot remain the sole means of design verification, and one must Description look at alterna