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.

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

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