verifying linear temporal logic specification for finite java programs
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: verifying linear temporal logic specification for finite java programs
verifying linear temporal logic specification for finite java programs
ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NG verifying linear temporal logic specification for finite java programs GHIỆP ĐẠI HỌC HẸ CHÍNH Ql YNgành: Công Nghệ Thông TinHÀ NỘI-2021ACKNOWLEDGEMENTSMost importantly, I would like to thank PhD. Truong Anil Hoang and MSc. Pham Thi Kim Dung. Your support makes everything I do in the study possible, and your help ensured that tills thesis was the best it could be.I also verifying linear temporal logic specification for finite java programs want to say thank you all of my teachers in the University of Engineering and Technology. Through the years, you taught me necessary knowledge for stverifying linear temporal logic specification for finite java programs
udy and research with all of your very best.A big thank-you goes to Google for the sponsorship in the Google Summer of Code 2010 program, and to Phi).ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NG verifying linear temporal logic specification for finite java programs background knowledge of the project. Without those supports, it would never have happened.I also thank Ewgenij Starostin, and Luu ('hung Tuyen for discussing with me and collaborating during the GSoC program. It has been a really nice experience working with you.Special thanks go out to my family, verifying linear temporal logic specification for finite java programs my classmates and all of my friends that helped me so much, made me believe that I can do it successfully. Personally, your warmly friendship is the mverifying linear temporal logic specification for finite java programs
ost important thing in my life.Once again, thank all of you so much!Hanoi. May. 20,b, 2020Nguyen Dinh Phuc1ABSTRACTThis thesis represents an approach ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NG verifying linear temporal logic specification for finite java programs s. LTL has been widely used for expressing temporal properties of programs viewed as transition systems. Many formal methods require significant manual effort and not scalable for real sized system: typical model checking environments use Buchi automata which are not designed to deal with finite exe verifying linear temporal logic specification for finite java programs cution traces. Hence, the approach presented here consists of modifying the standard LTL to Buchi automata conversion technique to generate finite-autverifying linear temporal logic specification for finite java programs
omata, which are used to check finite program traces. Besides, the verification can combine with symbolic execution to allow automatically detect counĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NG verifying linear temporal logic specification for finite java programs ework for runtime analysis of Java programs.2LỜI CAM ĐOANTôi xin cam đoan khoá luận “verifying linear temporal logic specification for finite .lava programs” là công trình nghiên cứu cùa riềng tôi. Các sô liệu, kềl quà được trinh bày trong luận án là hoàn loàn trung thực. Tôi đà trích dan đây đú các verifying linear temporal logic specification for finite java programs lài liệu iham khảo, công trình nghiên cứu liên quan đèn công trình này.Khóa luận được hoàn ihành trong thời gian lòi làm Sinh viên lại Bộ môn công ngverifying linear temporal logic specification for finite java programs
hệ phân mềm, Khoa Cồng nghệ Thông lin, Trường Dại học công nghệ, Dại học Quốc gia Ilà Nội.Ilã Nội. ngày 20 tháng 05 nám 2011Sinh vicnNguyen Dinh Phúc3ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NG verifying linear temporal logic specification for finite java programs .....2LIST OF ABBREVIATIONS....................................................6LIST OF FIGURES..........................................................7Chapter 1. Introduction..................................................81.1.Motivation........................................................81 verifying linear temporal logic specification for finite java programs .2.Purpose and scope.................................................9ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NGĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyền Đình PhúcVERIFYING LINEAR TEMPORAL LOGIC SPECIFICATION FOR FINITE JAVA PROGRAMSKHÓA LVẶN TỎT NGGọi ngay
Chat zalo
Facebook