features and described more than 20

features and described more than 2000 properties in PSL. As a result of the formal verification, we found several critical logic bugs in a short time with limited resources, and successfully
verified all of them. This paper presents a study of the functional verification methodology.

Kết quả (Việt) 1:

Các tính năng và mô tả các tính chất hơn 2000 trong PSL. Là kết quả của việc xác minh chính thức, chúng tôi tìm thấy một số nghiêm trọng logic lỗi trong một thời gian ngắn với nguồn lực hạn chế, và thành côngxác nhận tất cả chúng. Bài viết này trình bày một nghiên cứu về phương pháp xác minh chức năng.