TAILIEUCHUNG - LUẬN VĂN:NGHIÊN CỨU VỀ KIỂM CHỨNG PHẦN MỀM SỬ DỤNG CÔNG CỤ SPIN

Kiểm chứng mô hình (model checking) là một phương pháp hình thức dùng cho việc kiểm chứng hệ thống. Kiểm chứng mô hình khảo sát tất cả các trạng thái có thể của hệ thống và kiểm tra rằng chúng chứa sự đúng đắn đã được đặc tả. Việc sinh ra các trạng thái và kiểm tra có thể được thực hiện một cách tự động bằng phần mềm và Spin là một trong những bộ kiểm chứng (model checker) được sử dụng rộng rãi. Các bộ kiểm chứng không kiểm tra trực tiếp chương trình mà kiểm tra một. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG nGhỆ Trần Thị Vân Dung NGHIÊN CỨU VỀ KIỂM CHỨNG PHÀN MỀM SỬ DỤNG CÔNG CỤ SPIN KHOÁ LUẬN TỐT nghiệp đại học hệ chính quy Ngành Công Nghệ Thông Tin HÀ NỘI - 2010 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG nGhỆ Trần Thị Vân Dung NGHIÊN CỨU VỀ KIỂM CHỨNG PHÀN MỀM SỬ DỤNG CÔNG CỤ SPIN KHOÁ LUẬN TỐT nghiệp đại học hệ chính quy Ngành Công Nghệ Thông Tin Cán bộ hướng dẫn PGS. TS. Nguyễn Việt Hà Cán bộ đồng hướng dẫn TS. Phạm Ngọc Hùng HÀ NỘI - 2010 Lời cảm ơn Lời đầu tiên em xin được bày tỏ lòng biết ơn sâu sắc tới thầy TS. Nguyễn Việt Hà và thầy TS. Phạm Ngọc Hùng đã tận tình giúp đỡ em làm và hoàn thiện khóa luận trong suốt năm học vừa qua. Em xin được bày tỏ lòng biết ơn tới các thầy cô trong khoa Công Nghệ Thông Tin trường Đại Học Công Nghệ ĐHQGHN. Các thầy cô đã nhiệt tình dạy bảo và tạo mọi điều kiện học tập tốt nhất cho chúng em trong những năm học tập tại ĐHCN đặc biệt là trong thời gian thực hiện khóa luận tốt nghiệp. Tôi xin cảm ơn các bạn sinh viên lớp K51CC và K51CNPM Trường Đại học Công nghệ những người bạn đã cùng tôi học tập và rèn luyện trong suốt những năm học đại học. Cuối cùng con xin gửi tới Bố Mẹ và gia đình tình thương yêu và lòng biết ơn. Bố Mẹ đã nuôi dưỡng và luôn là chỗ dựa tinh thần cho con. Hà Nội ngày 18 tháng 5 năm 2010 Trần Thị Vân .

Duy Minh 74 50 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Luận văn thạc sĩ giáo dục học: Phương pháp khai thác các kiến thức lý luận văn học trong đọc – hiểu văn bản văn học lớp 11 chương trình nâng cao

102 381 5

Ebook Luyện cách lập luận trong đoạn văn nghị luận cho học sinh phổ thông: Phần 2

111 279 0

Luận văn Thạc sĩ Khoa học Ngữ văn: Văn chính luận của Ngô Thì Nhậm

86 369 21

Làm thế nào để viết luận văn khoa học tốt một luận văn khoa học

6 353 0

Mấy ý kiến về viết luận văn thạc sĩ lí luận và phương pháp dạy học văn - Trần Thanh Bình

4 414 3

HƯỚNG DẪN QUY CÁCH TRÌNH BÀY LUẬN VĂN, TÓM TẮT LUẬN VĂN, XẾP TÀI LIỆU THAM KHẢO VÀ CÁCH TRÍCH DẪN, MẪU BÌA LUẬN VĂN VÀ TÓM TẮT LUẬN VĂN

14 371 6

LUẬN VĂN TỐT NGHIỆP NGÀNH NGỮ VĂN “ GIỌNG ĐIỆU NGHỆ THUẬT CỦA NHÀ VĂN BALZAC TRONG BA TIỂU THUYẾT TIÊU BIỂU

151 362 2

Khoá luận tốt nghiệp Sư phạm Ngữ Văn: Áp dụng mô hình vòng tròn thảo luận văn chương trong dạy học văn nghị luận văn học

78 9 3

Ebook Luyện cách lập luận trong đoạn văn nghị luận cho học sinh phổ thông: Phần 1

106 312 0

Luận văn Thạc sĩ Giáo dục học: Rèn luyện kỹ năng lập luận trong văn nghị luận cho học sinh Trung học phổ thông

148 376 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 462370 61

Giới thiệu :Lập trình mã nguồn mở

14 26953 79

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11382 543

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10579 468

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9861 108

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8911 1161

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8531 426

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8111 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 8021 1831

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 7305 268

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Bảng màu theo chữ cái – V

11 177 2 14-01-2025

Giáo án điện tử tiểu học môn lịch sử: Cách mạng mùa thu

39 171 1 14-01-2025

Báo cáo y học: "The Factors Influencing Depression Endpoints Research (FINDER) study: final results of Italian patients with depressio"

9 157 1 14-01-2025

ĐỀ TÀI " ĐÁNH GIÁ HIỆU QUẢ HOẠT ĐỘNG KINH DOANH NGOẠI HỐI CỦA NGÂN HÀNG THƯƠNG MẠI CỔ PHẦN XUẤT NHẬP KHẨU VIỆT NAM "

51 160 3 14-01-2025

Word Games with English 1

65 149 1 14-01-2025

Báo cáo nghiên cứu khoa học " NÂNG QUAN HỆ KINH TẾ THƯƠNG MẠI VIỆT NAM - TRUNG QUỐC LÊN TẦM CAO THỜI ĐẠI "

8 178 1 14-01-2025

IT Audit: EMC’s Journey to the Private Cloud

13 163 1 14-01-2025

5 thói quen ăn uống hủy hoại hàm răng đẹp

5 181 2 14-01-2025

Data Mining Classification: Basic Concepts, Decision Trees, and Model Evaluation Lecture Notes for Chapter 4 Introduction to Data Mining

101 150 1 14-01-2025

Xinh xinh vườn nhà

6 135 0 14-01-2025

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8111 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 8021 1831

Ebook Chào con ba mẹ đã sẵn sàng

112 4453 1378

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 6403 1280

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8911 1161

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3867 680

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3932 610

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4813 568

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11382 543

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4544 490