Đề tài Tìm hiểu erigone model checker
- Người chia sẻ :
- Số trang : 46 trang
- Lượt xem : 10
- Lượt tải : 500
- Tất cả luận văn được sưu tầm từ nhiều nguồn, chúng tôi không chịu trách nhiệm bản quyền nếu bạn sử dụng vào mục đích thương mại
Bạn đang xem trước 20 trang tài liệu Đề tài Tìm hiểu erigone model checker, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD LUẬN VĂN ở trên
Erigone là một phần triển khai lại của mô hình kiểm chứng Spin. Erigone triển khai một tập con của Promela, nó là đủ để chứng minh các khái niệm cơ bản của mô hình kiểm chứng cho việc xác minh (verification) của các chương trình đồng thời. Không một ngôn ngữ cấu trúc nào được thêm vào sao cho chương trình cho Erigone có thể được sử dụng với Spin để có nhiều tính uyển chuyển và hiệu suất tốt hơn mong muốn. Erigone được viết bằng ADA năm 2005 cho độ tin cậy, bảo trì và tính linh hoạt. Nó được sử dụng như một chuẩn kiến trúc. Đặc tính của Erigone:
NHỮNG LUẬN VĂN LIÊN QUAN
Thuật toán tô màu đồ thị và ứng dụng xếp lịch thi
Với hình thức học chế tín chỉ, sinh viên có thể chủ động chọn đăng kí môn học theo kế hoạch học tập của mình. Điều này làm cho việc xếp lịch thi trở nên khó khăn hơn. Phòng đào [...]
Download
Nghiên cứu xây dựng Website bằng Flash và WebService
Đề tài này trình bày phương pháp lập trình để xây dựng hệ thống website bằng flash và webservice. Với phương pháp này, chúng ta có thể dễ dàng xây dựng được những web site có giao diện đẹp với [...]
Download
Thời gian Logic Vector và vấn đề đồng bộ hóa các tiến trình trong bài toán bãi đỗ xe nhiều cổng
Ngày nay, một trong những hướng nghiên cứu quan trọng trong hệ thống phân tán đó là vấn đề đồng bộ hóa các tiến trình sử dụng tài nguyên dùng chung. Để đạt được điều đó thì chúng ta phải [...]
Download
Thư viện học liệu trực tuyến
Trong quá trình học tập, việc tìm kiếm tài liệu, trao đổi kiến thức và áp dụng các kiến thức đã học được là một điều rất quan trọng. Tuy nhiên, không phải sinh viên nào cũng có điều kiện [...]
Download