System Modeling Fundamentals for Formal Verification (bằng tiếng Anh).

Trong kỹ thuật hiện đại, tìm lỗi hệ thống ở giai đoạn phát triển cuối cùng là một công việc tốn kém. Kiểm tra chính thức cho phép bạn chứng minh bằng toán học rằng hệ thống của bạn hoạt động đúng, nhưng tất cả bắt đầu với việc xây dựng mô hình hệ thống đúng. Chương trình học dựa trên văn bản này hướng dẫn bạn qua các nguyên tắc cơ bản của việc mô hình hóa phần cứng và phần mềm cho phân tích tự động. Bạn sẽ chuyển từ việc hiểu các đặc điểm cơ bản về hệ thống sang cấu trúc các mô hình phức tạp để ngăn chặn các lỗi thiết kế sớm. Bạn sẽ học được gì: Hiểu các khái niệm cơ bản của kiểm tra chức năng và kiểm định mô hình; Đại diện cho hành vi phần cứng và phần mềm bằng cách sử dụng các hình thức mô hình chính xác; Ứng dụng các hệ thống chuyển đổi trạng thái để chụp các trạng thái và chuyển đổi hệ thống; Định nghĩa các thuộc tính an toàn và sống bằng cách dùng các kháo niệm logic tạm thời cơ bản; Phân tích hệ thống Các mô hình tổng hợp và giao tiếp cho các quá trình đồng thời; Thực hành chuyển các yêu cầu thiết kế thành các biểu diễn có thể kiểm tra qua các bài tập viết. Bạn sẽ bắt đầu với thuật ngữ cốt lõi, hệ thống chuyển tiếp, và các khái niệm kiểm chứng cơ bản. Từ đó, bạn sẽ khám phá cách tạo mô hình điều khiển phụ thuộc vào dữ liệu và xử lý các hệ thống đồng thời với các kiểu giao tiếp khác nhau. Chương trình này được thiết kế cho các kỹ sư phần mềm mới bắt đầu, các nhà thiết kế phần cứng, và kiến trúc sư hệ thống. Không cần kinh nghiệm trước đó với kiểm tra chính thức. Bắt đầu xây dựng các thiết kế hệ thống đáng tin cậy, không lỗi ngay hôm nay.