Mẫu kiểm tra là một trong những phương pháp tiếp cận thiết kế tĩnh xác minh.Trong mô hình kiểm tra bạn có một thiết kế và thiết lập tài sản gắn liền với thiết kế được lấy từ đặc điểm kỹ thuật.Sau đó, các mô hình cheker cố gắng để chứng minh rằng thiết kế đáp ứng tất cả các tài sản, khác nó cho một ví dụ truy cập mà nó không.Mẫu công cụ kiểm tra mặc dù có được giới hạn trong các ứng dụng của họ tới các phần cụ thể của thiết kế được điều khiển chuyên sâu như là nó bị vấn đề nhà nước, nổ không gian.Thuật toán tốt hơn vẫn còn đang được nghiên cứu trong phòng thí nghiệm và trường đại học.
Các phương pháp khác hơn là powerfule minh định lý mà vẫn còn phức tạp hơn nhưng rất đầy đủ trong dung của nó.
Nhưng chính thức nhất xác minh chảy ngày hôm nay vẫn còn sử dụng kiểm tra tương đương mà chỉ là chuyển đổi thẩm định thiết kế.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
