基本素養 Basic Literacy無
To possess professional knowledge in the field of electrical engineering.
The ability to plan and carry out a research project.
To write a professional-quality dissertation.
Innovative thinking and the ability to solve problems independently.
Multidisciplinary coordination and integration capabilities.
A solid international outlook and the ability to understand professional ethics and social responsibility.
Leadership, management and planning abilities.
The ability to learn and develop throughout life.
課程概述 Course Description隨著複雜且重要功能之系統與軟體設計的快速發展需求，我們非常需要具有高品質保障的驗證方法。本課程重點於介紹正規驗證，將分步介紹其基本理論, 以及如何利用邏輯推理之數學分析於實際應用。
With the needs of rapid developments in complex and functional-critical digital systems and software designs, a well-qualified verification method is eager to have in the real industry. This course focuses on such a verification technology called formal verification, with step-by-step introduction to its fundamental theory and practical applications by using mathematical analysis in terms of logic reasoning.
課程學習目標 Course Objectives
有關課程其他調查 Other Surveys of Courses1.本課程是否規劃業界教師參與教學或演講?
Is there any industry specialist invited in this course? How many times?
Are there any internships involved in the course? How many hours?
Is this course recognized as an academic ethics course? In the course how many hours are regarding academic ethics topics?
Is this course recognized as a Community engagement and Service learning course? Which community will be engaged?