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. Như là kết quả của cácxá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ông xác minh 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 các
chính thức xác minh, 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à xác minh thành công 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.