Technologies des programmes accompagnés de preuves

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 51 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Technologies des programmes accompagnés de preuves

Technologies des programmes accompagnés de preuves

ỊfỊ_____________Inititut da la Francophone pour rinformatiquaUNIVERSITÉLAVALTechnologies des programmes accompagnés de preuvesHoang Minh Tien13 septem

Technologies des programmes accompagnés de preuves mbre, 2009Sous la direction deProfesseur. Danny DubéDepartement d'informatique et de génie logiciel Faculte des sciences et de génie Université LavalC

opyright © 2009 Hoang Minh TienMot clés : programme accompagné de preuves, condition de verification, programme accompagné de preuves étendues, progra Technologies des programmes accompagnés de preuves

mme accompagné de preuves d'oracle, logique de premier ordre, lambda calcul. consommateur de code, producteur de code.Keywords: proof carrying code, v

Technologies des programmes accompagnés de preuves

erification condition, extended proof carrying code, oracle based proof carrying code, foundational proof carrying code, type safe, logical framework,

ỊfỊ_____________Inititut da la Francophone pour rinformatiquaUNIVERSITÉLAVALTechnologies des programmes accompagnés de preuvesHoang Minh Tien13 septem

Technologies des programmes accompagnés de preuves rsité Laval, de m'avoir accucilli au scin de son équipe de recherche, de m’avok loujours encourage, de m’avoir domic des suggestions précieuses dans l

a recherche. Je lui en suis tres reconnaissant..Te ticns à remercier cgalcincnt les professeurs et les personnels de rinstitut de la Francophonie pour Technologies des programmes accompagnés de preuves

rinfomialiquc, des prolcsscurs invites de m’avoir domic des cours de haul qualilé el pour leur soulien tout ail long de mes eludes.Je voudrais remerc

Technologies des programmes accompagnés de preuves

ier mes amis dans mon laboraloire de recherche. Bui Nguyen Minh, ĩĩaythem Kefi, Joseph Assouramou, Maricme Doua, Ishagh Mayouf de m’avoir donnee leurs

ỊfỊ_____________Inititut da la Francophone pour rinformatiquaUNIVERSITÉLAVALTechnologies des programmes accompagnés de preuvesHoang Minh Tien13 septem

Technologies des programmes accompagnés de preuves leur encouragement de toute r instance.Table des matièresList des figures............................................................iiiResume........

...............................................................ivAbstract......................................................................VChapit Technologies des programmes accompagnés de preuves

re 1....................................................................1Introduction.................................................................

Technologies des programmes accompagnés de preuves

.11Contexte du stage.....................................................12Problématique.........................................................13Pri

ỊfỊ_____________Inititut da la Francophone pour rinformatiquaUNIVERSITÉLAVALTechnologies des programmes accompagnés de preuvesHoang Minh Tien13 septem

Technologies des programmes accompagnés de preuves du rapport..................................................3Chapitre II...................................................................4Techniques

principals de PCC..................................................41Technique PCc traditionnel............................................41.1Archit Technologies des programmes accompagnés de preuves

ecture du système PCC traditionnel.............................41.2Protocole de PCC traditionnel........................................51.3Implementa

Technologies des programmes accompagnés de preuves

tion du technique PCCtraditionnel.........................7

ỊfỊ_____________Inititut da la Francophone pour rinformatiquaUNIVERSITÉLAVALTechnologies des programmes accompagnés de preuvesHoang Minh Tien13 septem