A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

Haydar, May

dc.contributor.advisor	Sahraoui, Houari
dc.contributor.advisor	PETRENKO, ALEXANDRE
dc.contributor.author	Haydar, May
dc.date.accessioned	2017-03-15T01:53:10Z
dc.date.available	2017-03-15T01:53:10Z
dc.date.issued	2008
dc.date.submitted	2007
dc.identifier.uri	http://hdl.handle.net/1866/17888
dc.subject	Analyse dynamique
dc.subject	"Model checking"
dc.subject	Vérification
dc.subject	Logique temporelle linéaire
dc.subject	"Model checker spin"
dc.subject	Application Web
dc.subject	Session de navigation
dc.subject	Structure de Kripke
dc.subject	Patrons de propriétés
dc.subject	Automates communicants
dc.title	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
dc.type	Thèse ou mémoire / Thesis or Dissertation
etd.degree.discipline	Informatique	fr
etd.degree.grantor	Université de Montréal	fr
etd.degree.level	Doctorat / Doctoral
etd.degree.name	Ph. D.
dcterms.description	Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.	fr
dcterms.language	eng

Files in this item

Name:: Haydar_May_2007_these.pdf
Size:: 6.644Mb
Format:: PDF
Description:: Thèse

This item appears in the following Collection(s)

Thèses et mémoires électroniques de l’Université de Montréal [24495]
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires [1189]

Show item record

This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.